Title :
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Author :
Gnesi, Stefania ; Plat, Nico
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;
Conference_Titel :
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
Conference_Location :
Florence, Italy
DOI :
10.1109/ICSE.2015.313
