Overview
- Original, readable and useful lecture notes written by leading experts
- Made for students, researchers and practitioners
- A detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLink
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9700)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SFM 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
Similar content being viewed by others
Keywords
- distributed systems
- hybrid systems
- pervasive computing
- self-organization
- software evolution
- aggregate programming
- concurrent system
- cyber-physical systems
- domain-specific languages
- environment uncertainty
- formal methods
- model checking
- modeling
- non-determinism
- pervasive systems
- requirements
- scalable quantitative analysis
- software engineering
- spatio-temporal models
- ubiquitous
Table of contents (8 chapters)
Editors and Affiliations
About the editors
Bibliographic Information
Book Title: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Book Subtitle: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Editors: Marco Bernardo, Rocco De Nicola, Jane Hillston
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-34096-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-34095-1Published: 12 June 2016
eBook ISBN: 978-3-319-34096-8Published: 10 June 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 261
Number of Illustrations: 67 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Probability and Statistics in Computer Science, Mathematical Logic and Formal Languages, Information Systems Applications (incl. Internet)