Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

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

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
Alessandro Pagliaro	Alloy e Alloy Analyzer Logica del primo ordine Verifica di documenti di analisi Alloy	2006/07	Vai »
Eleonora Antonelli, Simone Maletta, Stefano Novara	Traduzione di state and transition diagram UML e correttezza dei programmi in TLA+ Logiche temporali Verifica di documenti di analisi	2006/07	Vai »
Stefano Menotti	Verifica formale in Spin di WF-nets e Diagrammi delle Attività UML Logiche temporali Verifica di documenti di analisi Spin	2006/07	Vai »
Francesco Fia, Marco Augusto Lauretti	Traduzione degli Interaction Diagram in Spin Verifica di documenti di analisi Spin Logiche temporali	2006/07	Vai »
Giovanni Michele Toglia, Carlo Tassi	ReDiA-VeriFInt, Interfaccia grafica e verifica dei diagrammi delle classi mediante Alloy Case tool ReDiA-VeriFInt Logica proposizionale Verifica di documenti di analisi Verifica di algoritmi, programmi, protocolli e hw 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 Case tool ReDiA-VeriFInt Constraint Programming Verifica di documenti di analisi	2007/08	Vai »
Gianluca Ciuffa, Andrea Frasca	ReDiA-VeriFInt, Verifica dei diagrammi UML degli stati e delle transizioni Case tool ReDiA-VeriFInt Logica del primo ordine Verifica di documenti di analisi NuSMV	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]