Editors:
- Original, readable, and useful lecture notes written by leading experts
- Made for students, researchers, and practitioners
- Covers a variety of topics in formal methods for software systems, with particular focus on modeling and verification; runtime assessment and testing
- A detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLink
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8483)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SFM: International School on Formal Methods for the Design of Computer, Communication and Software Systems
Conference proceedings info: SFM 2014.
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 (8 chapters)
-
Front Matter
-
Modeling and Verification
-
Back Matter
About this book
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.
SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Keywords
- ABS
- abstract behavioral modeling
- automated analysis techniques
- concurrent systems
- deadlock detection
- executable software models
- formal methods
- model checking
- modeling
- runtime assessment
- runtime testing
- software engineering
- software verification
- test generation
- theory of computation
- variability models
Editors and Affiliations
-
Dipartimento di Scienze di Base e Fondamenti, Università di Urbino, Urbino, Italy
Marco Bernardo
-
Dipartimento di Informatica, Università di Torino, Torino, Italy
Ferruccio Damiani
-
Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt, Germany
Reiner Hähnle
-
Department of Informatics, University of Oslo, Oslo, Norway
Einar Broch Johnsen
-
Institut für Softwaretechnik und Fahrzeuginformatik, Technische Universität Braunschweig, Braunschweig, Germany
Ina Schaefer
Bibliographic Information
Book Title: Formal Methods for Executable Software Models
Book Subtitle: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Editors: Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-07317-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-07316-3Published: 21 May 2014
eBook ISBN: 978-3-319-07317-0Published: 26 May 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 343
Number of Illustrations: 101 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Theory of Computation