ENGLISH

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

By Farhad Arbab , Marjan Sirjani (eds.) , Jurriaan Rot , Frank de Boer , Marcello Bonsangue (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2013
ISBN
978-3-642-40212-8, 978-3-642-40213-5
DOI
10.1007/978-3-642-40213-5
Language
english
Format
PDF
Filesize
8 MB (8456616 bytes)
Series
Lecture Notes in Computer Science 8161
Edition
1
Pages
283\298
Orientation
yes
Scanned
yes
Time added
2013-09-03 04:22:05
Logics and Meanings of Programs; Software Engineer

Description

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

Similar books