Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Plat N. 1st FME workshop on formal methods in software engineering (FormaliSE 2013). In: ICSE '13 - 2013 International Conference on Software Engineering (San Francisco, CA, USA, 18-26 May 2013). Proceedings, pp. 1519 - 1520. David Notkin, Betty H. C. Cheng, Klaus Pohl (eds.). IEEE/ACM, 2013.
After decades of research, and despite significant advancement, formal methods are still not widely used in industrial software development. This may be due to the fact that the formal methods community has not enough focused its attention to software engineering needs, and kits specific role in the software process. At the same time, from a software engineering perspective, there could be a number of fundamental principles that might help to guide the design of formal methods in order to make them more easily applicable in the development of software applications. The main goal of FormaliSE 2013, the FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case.
URL: http://dl.acm.org/citation.cfm?id=2487063
Subject Formal methods
Software engineering
D.2.4 Software/Program Verification

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