|
|
Laurea Specialistica in
Ingegneria Informatica,
Corso di
Metodi Formali nell'Ingegneria del Software
Edizione dell'a.a. 2007/08
Prerequisiti
Si richiede buona conoscenza dei fondamenti dell'analisi e progettazione orientata agli oggetti, delle fasi del ciclo di vita del software e dei linguaggi e sistemi formali.
In dettaglio, si richiede che lo studente dòmini i
contenuti dei seguenti corsi:
- Progettazione del Software I
- Ingegneria del Software
- Linguaggi e sistemi formali
Obiettivi
L'obiettivo del corso è lo studio e l'approfondimento della qualità più importante del software: la correttezza. Lo studio della correttezza verrà affrontato con riferimento alle classiche fasi del ciclo di vita del software: analisi, realizzazione e test.
Gli argomenti vengono trattati dando enfasi ad aspetti metodologici e ad aspetti sperimentali utilizzando varie forme di logica (proposizionale, dei predicati, temporale) e vari strumenti per la verifica automatica (ALLOY, NUSMV), la logica (SATZ, ZCHAFF, OTTER), la programmazione dichiarativa (OPL).
Alla fine del corso lo studente dovrebbe avere acquisito tecniche e metodi per la dimostrazione della correttezza dei programmi e degli schemi concettuali.
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|