Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9407)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): ICFEM: International Conference on Formal Engineering Methods
Conference proceedings info: ICFEM 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 (27 papers)
-
Front Matter
About this book
Keywords
- Concurrent systems
- Distributed algorithms
- Model checking
- Software product lines
- Specification languages
- Consistency verification
- Constraint solving
- Domain specific visualization
- Evaluation
- Language design
- Logic
- Model-driven engineering
- Reliability
- Security
- Semantics
- Software design
- Software verification
- Specification
- System modeling
- Theorem proving
Editors and Affiliations
-
Electronics and Computer Science, University of Southampton, Southampton, United Kingdom
Michael Butler
-
Université Paris-Sud, Orsay, France
Sylvain Conchon, Fatiha Zaïdi
Bibliographic Information
Book Title: Formal Methods and Software Engineering
Book Subtitle: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Editors: Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-25423-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-25422-7Published: 02 December 2015
eBook ISBN: 978-3-319-25423-4Published: 30 November 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXV, 436
Number of Illustrations: 150 illustrations in colour
Topics: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Computer Communication Networks