Editors:
- 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)
Conference series link(s): FSEN: International Conference on Fundamentals of Software Engineering
Conference proceedings info: FSEN 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (21 papers)
-
Front Matter
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.
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
Editors and Affiliations
-
Intelligent Systems , Utrecht University, Utrecht, The Netherlands
Mehdi Dastani
-
School of Computer Science, Reykjavik University, Reykjavik, Iceland
Marjan Sirjani
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