Editors:
- 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)
Conference series link(s): SEFM: International Conference on Software Engineering and Formal Methods
Conference proceedings info: SEFM 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 (25 papers)
-
Front Matter
-
Invited Papers
-
Front Matter
-
-
Program Verification
-
Front Matter
-
-
Formal Specification and Proof
-
Front Matter
-
Other Volumes
-
Software Engineering and Formal Methods
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.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
Editors and Affiliations
-
Department of Computer Science, University of York, York, United Kingdom
Radu Calinescu
-
Software Engineering, Department of Computer Science, RWTH Aachen University, Aachen, Germany
Bernhard Rumpe
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