|
|
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.
Categorie:
Anni accademici:
Autori |
Titolo e categorie |
A.A. |
Dettagli |
Luca Porrini, Constantin Moldovanu, Emanuele Tatti |
Jasmine, Java Symbolic Model Interpreter: generazione automatica di casi di test in un cammino di un grafo di flusso |
2007/08 |
Vai » |
Alberto Cerullo |
Java Modeling Language (JML) |
2007/08 |
Vai » |
Fabio D'Aprano, Claudio Di Ciccio |
ReDiA-VeriFInt (Realizzatore Diagrammi Automatico con Verifica Formale Integrata) |
2007/08 |
Vai » |
Valerio Del Grande, Ilaria Forte |
Verifica automatica di proprietà su ontologie DL-Lite A |
2007/08 |
Vai » |
Giacomo Bernini |
Logiche Temporali al servizio dell'Ingegneria del Software: CTL, CTL*, TRIO e LTLB |
2007/08 |
Vai » |
Manuela Salvatori, Ivan Secci |
Timed Automata per applicazioni real-time |
2007/08 |
Vai » |
Daniele Zannella |
Risolutori SAT non-CNF |
2007/08 |
Vai » |
Giovanni Michele Toglia, Carlo Tassi |
ReDiA-VeriFInt, Interfaccia grafica e verifica dei diagrammi delle classi mediante Alloy |
2007/08 |
Vai » |
Terzilio Cecchetti, Giovanni Draghi |
ReDiA-VeriFInt: Rappresentazione delle specifiche concettuali e realizzative e annotazione automatica del codice mediante Daikon e Jass |
2007/08 |
Vai » |
Andrea De Angelis |
Jasmine 2.0: test a scatola bianca di codice Java |
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]
|