Proceedings of the Third FME Workshop on Formal Methods in Software Engineering / / Stefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital Library
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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
|
| Pubblicazione: | Piscataway, New Jersey : , : IEEE Press, , 2015 |
| Descrizione fisica: | 1 online resource (85 pages) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Formal methods (Computer science) |
| Persona (resp. second.): | PlatNico |
| 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. |
| Titolo autorizzato: | Proceedings of the Third FME Workshop on Formal Methods in Software Engineering |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910376644803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |