>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

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]