DocumentCode
1638902
Title
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Author
Gnesi, Stefania ; Plat, Nico
Volume
2
fYear
2015
Firstpage
977
Lastpage
978
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.
Keywords
Collaboration; Committees; Conferences; Industries; Security; Software; Software engineering; Formal methods; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
Conference_Location
Florence, Italy
Type
conf
DOI
10.1109/ICSE.2015.313
Filename
7203136
Link To Document