>   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

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 »

Michela Angeloni, Junio Valerio Franchi, Piero Cangialosi

Existential second order logic e sue applicazioni 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 »

Andrea Marrella, Stefano Valentini

ReDiA-VeriFInt: Analisi e formalizzazione della soddisfacibilità finita nei diagrammi delle classi UML attraverso la programmazione a vincoli 2007/08 Vai »

Gianluca Ciuffa, Andrea Frasca

ReDiA-VeriFInt, Verifica dei diagrammi UML degli stati e delle transizioni 2007/08 Vai »

Paolo Felli, Matteo Vita

Composition of stateful deterministic services in Alternating-time Temporal Logic 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 »

Mino Germano, Massimo Bonotti

Uno strumento per la verifica di proprietà su diagrammi Gantt e Pert attraverso l'analisi formale 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]