Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9392)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FSEN 2015.
Buy print copy
About this book
This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.
The 21 full papers presented in this volume were carefully reviewed and selected from 64 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 content being viewed by others
Keywords
- Model checking
- Multi-agent systems
- Real-time systems
- Self-adaptive software
- Software testing
- Component-based and service-oriented software systems
- Extra-functional properties
- Industrial software applications
- Models of programs and software systems
- Models of software systems
- Object systems
- Programming languages
- Software architectures
- Software creation and management
- Software functional properties
- Software notations and tools
- Software specification
- Software validation
- Software verification
- Theorem proving
Table of contents (21 papers)
Other volumes
-
Fundamentals of Software Engineering
Editors and Affiliations
Bibliographic Information
Book Title: Fundamentals of Software Engineering
Book Subtitle: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Editors: Mehdi Dastani, Marjan Sirjani
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-24644-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2015
Softcover ISBN: 978-3-319-24643-7Published: 12 November 2015
eBook ISBN: 978-3-319-24644-4Published: 24 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 317
Number of Illustrations: 80 illustrations in colour
Topics: Software Engineering, Logics and Meanings of Programs, Artificial Intelligence, Programming Languages, Compilers, Interpreters, Programming Techniques