Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9276)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SEFM 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (25 papers)
-
Invited Papers
-
Program Verification
Other volumes
-
Software Engineering and Formal Methods
-
Software Engineering and Formal Methods
Keywords
- Adaptive systems
- Automata learning
- Automated static analysis
- Component-based systems
- Concurrency
- Cyber-human systems
- Dynamic analysis
- Embedded systems
- Formal methods
- Machine learning
- Model checking
- Multi-agent systems
- Natural language processingts
- Program correctness
- Real-time systems
- Software engineering
- Software testing and debugging
- Software verification
- Software verification and validation
- Theorem proving
About this book
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.Editors and Affiliations
Bibliographic Information
Book Title: Software Engineering and Formal Methods
Book Subtitle: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Editors: Radu Calinescu, Bernhard Rumpe
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-22969-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-22968-3Published: 21 August 2015
eBook ISBN: 978-3-319-22969-0Published: 23 August 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 369
Number of Illustrations: 84 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Computer Communication Networks, Programming Techniques