Editors:
- 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)
Conference series link(s): SFM: International School on Formal Methods for the Design of Computer, Communication and Software Systems
Conference proceedings info: SFM 2016.
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
-
Back Matter
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.
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
Editors and Affiliations
-
Dipartimento di Sci. Pure e Applicate, Università di Urbino "Carlo Bo", Urbino, Italy
Marco Bernardo
-
IMT - School for Advanced Studies, Lucca, Italy
Rocco De Nicola
-
School of Informatics, University of Edinburgh, Edinburgh, United Kingdom
Jane Hillston
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)