Title :
1st FME workshop on formal methods in software engineering (FormaliSE 2013)
Author :
Gnesi, Stefania ; Plat, Nico
Author_Institution :
ISTI-CNR Pisa, Italy
Abstract :
Despite their significant advantages, formal methods are not widely used in industrial software development. FormaliSE is a workshop with the main goal to promote integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is done currently, and to better understand the reasons why this still is the case.
Keywords :
Communities; Conferences; Educational institutions; Europe; Industries; Software; Software engineering;
Conference_Titel :
Software Engineering (ICSE), 2013 35th International Conference on
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
978-1-4673-3073-2
DOI :
10.1109/ICSE.2013.6606766
