UPV-EHU Facultad de Informática de San Sebastián
MÉTODOS FORMALES DE DESARROLLO DE SOFTWARE
Grado en Ingeniería Informática
Curso 2013-14
Paqui Lucio
|
Primera clase: Martes, 28 de Enero, de17:15 a 19:15. Ultima clase: Viernes, 17 de Mayo, de 15:00 a 17:00. Esas dos sesiones semanales se repetirán entre ambas fechas. |
| Lugar: Laboratorio E5 |
| TEMAS | Transparencias | Programas | Ejercicios | Artículos | Evaluación Continua |
| 1.- Desarrollo riguroso de software | Tema 1.pdf | IEEE 2006.pdf | |||
| 2.- Introducción al sistema Dafny | Tema 2.pdf | Factorial.dfy | ConsecIg.dfy | Dafny.pdf | datatype List<T> |
| 3.- Generación de condiciones de verificación | Tema 3.pdf | RootApprox.dfy | Métodos Iterativos | ||
| 4.- Desarrollo de programas en Dafny | |||||
| 5.- Demostración automática | IndProof3Lemmas.dfy |