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
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 Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java NuSMV	2007/08	Vai »
Giacomo Bernini	Logiche Temporali al servizio dell'Ingegneria del Software: CTL, CTL*, TRIO e LTLB Logiche temporali Verifica di algoritmi, programmi, protocolli e hw	2007/08	Vai »
Manuela Salvatori, Ivan Secci	Timed Automata per applicazioni real-time Logiche temporali Verifica di algoritmi, programmi, protocolli e hw	2007/08	Vai »
Paolo Felli, Matteo Vita	Composition of stateful deterministic services in Alternating-time Temporal Logic Logiche temporali Sintesi automatiche di soluzioni	2007/08	Vai »
Andrea De Angelis	Jasmine 2.0: test a scatola bianca di codice Java Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java 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]