WS-FMDS 2012 - 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012)

2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012)
Organized by César Andrés and Luis Llana, Universidad Complutense de Madrid
Developing software concerns all the aspects of the production cycle of software systems and requires expertise in data management, design and algorithm paradigms, programming languages, and human computer interfaces. Most software development life cycle methodologies are either iterative or follow a sequential model. Such systems may contain a huge amount of lines of code. Thus, when developing these systems, it is necessary to apply sound engineering principles in order to economically obtain reliable and efficient software. The aim of WS-FMDS 2012 is to provide a forum for researchers who are interested in the application of formal methods on systems which are being developing with a software methodology. In particular, this workshop is intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. This workshop also strive to promote research and development for the improvement of formal methods and tools for industrial applications.
more info at http://antares.sip.ucm.es/ws-fmds2012/