| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910376644803321 |
|
|
Autore |
Gnesi Stefania |
|
|
Titolo |
Proceedings of the Third FME Workshop on Formal Methods in Software Engineering / / Stefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital Library |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Piscataway, New Jersey : , : IEEE Press, , 2015 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (85 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Formal methods (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
We would like to take this opportunity to welcome you at FormaliSE 2015, the 3th FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering. The main goal of the workshop is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case. This need to achieve dialogue between the fairly small formal methods community and the (much larger) community of software scientists and practitioners forms the principal motivation holding for our workshop, and for our desire to hold it at ICSE. |
|
|
|
|
|
|
|
| |