DocumentCode
3145531
Title
1st FME workshop on formal methods in software engineering (FormaliSE 2013)
Author
Gnesi, Stefania ; Plat, Nico
Author_Institution
ISTI-CNR Pisa, Italy
fYear
2013
fDate
18-26 May 2013
Firstpage
1519
Lastpage
1520
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2013 35th International Conference on
Conference_Location
San Francisco, CA, USA
Print_ISBN
978-1-4673-3073-2
Type
conf
DOI
10.1109/ICSE.2013.6606766
Filename
6606766
Link To Document