Despite their significant advantages, formal methods are not widely used in industrial software development. Following the successful workshops we organized at ICSE 2103 in San Francisco, and ICSE 2014 in Hyderabad, we organize a third edition of the FormaliSE workshop with the main goal to promote the integration between the formal methods and the software engineering communities.
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Gnesi S;
2015
Abstract
Despite their significant advantages, formal methods are not widely used in industrial software development. Following the successful workshops we organized at ICSE 2103 in San Francisco, and ICSE 2014 in Hyderabad, we organize a third edition of the FormaliSE workshop with the main goal to promote the integration between the formal methods and the software engineering communities.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_345058-doc_108184.pdf
solo utenti autorizzati
Descrizione: 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Tipologia:
Versione Editoriale (PDF)
Dimensione
640.38 kB
Formato
Adobe PDF
|
640.38 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.