>   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

Progetti svolti e presentati dagli studenti

Attualmente sono visualizzati solo i progetti che rispettano i seguenti filtri:

Visualizza tutti i progetti »

Clicca sui diversi valori (categoria e/o anno accademico) per attivare/disattivare i filtri di visualizzazione.

Autori Titolo e categorie A.A. Dettagli

Alessandro Pagliaro

Alloy e Alloy Analyzer 2006/07 Vai »

Giovanni Michele Toglia, Carlo Tassi

ReDiA-VeriFInt, Interfaccia grafica e verifica dei diagrammi delle classi mediante Alloy 2007/08 Vai »

Mario Casciaro, Andrea Palleschi, Biagio Profice

Jamote: Java Model-Based Black-Box Testing 2007/08 Vai »


[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]