Istituto di Scienza e Tecnologie dell'Informazione     
Fiadeiro J., Gnesi S., Maibaum T. Editorial. In: Formal Aspects of Computing. Editorial, vol. 24 (2) pp. 161 - 162. Springer, 2012.
The need for theories, languages, methods, and tools through which software applications can be developed that meet the highest standards of quality keeps rising as the dependency of both economical and social progress on software-intensive systems increases. In order to meet this challenge, researchers and practitioners from acade- mia, industry and government need to get together to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. This special issue originates from the eighth IEEE International Conference on Software Engineering and FormalMethodsheldinPisa,Italy,fromthe13thtothe18thofSeptember,2010.Aftertheconference,theauthors of the highest-ranked papers and the invited speakers were invited to submit significantly extended papers for inclusion in this special issue; eight papers were submitted out of which five were accepted and have been included here
URL: http://link.springer.com/article/10.1007%2Fs00165-012-0224-9
DOI: http://dx.doi.org/10.1007/s00165-012-0224-9
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