PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Plat N. 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). In: ICSE 2015 - IEEE/ACM 37th International Conference on Software Engineering (Florence, Italy, 16-24 May 2015). Proceedings, vol. 2 pp. 977 - 978. IEEE, 2015.
 
 
Abstract
(English)
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.
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7203136
DOI: 10.1109/ICSE.2015.313
Subject Formal Methods
Software Engineering
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification
F.3.1 Specifying and Verifying and Reasoning about Programs


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional