Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems by Marco Bernardo
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.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.
-
Fundamentals of Software Engineering
-
Software Engineering and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Autonomic and Trusted Computing
-
Analytical and Stochastic Modeling Techniques and Applications
-
Principles and Practice of Constraint Programming
-
Software Architecture
-
Runtime Verification
-
Computer Safety, Reliability, and Security
-
Formal Techniques for Distributed Objects, Components, and Systems
-
Search-Based Software Engineering
-
Fields of Logic and Computation III
-
Web Services – ICWS 2020
-
Tests and Proofs
-
Formal Methods for Industrial Critical Systems
-
Software Language Engineering
-
Service-Oriented Computing--ICSOC 2013 Workshops
-
Services Computing – SCC 2020
-
Energy-Efficient Data Centers
-
Intelligent Tutoring Systems
-
Programming Languages and Systems
-
Foundations of Health Information Engineering and Systems
-
Rules and Reasoning
-
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
-
Selected Topics in Performance Evaluation and Benchmarking
-
Formal Methods for Components and Objects
-
Automated Technology for Verification and Analysis
-
OpenMP: Conquering the Full Hardware Spectrum
-
Computer Performance Engineering
-
ECOOP 2014 -- Object-Oriented Programming
-
Software Engineering
-
Software Engineering for Self-Adaptive Systems
-
Mathematical and Engineering Methods in Computer Science
-
Formal Methods: Foundations and Applications
-
Formal Aspects of Component Software
-
NASA Formal Methods
-
Large-Scale Complex IT Systems. Development, Operation and Management
-
Language Engineering and Rigorous Software Development
-
Foundations of Computer Software: Future Trends and Techniques for Development
-
Software Process and Product Measurement
-
Rule Interchange and Applications
-
Verified Software: Theorie, Tools, Experiments
-
Web Services and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Formal Methods for Executable Software Models
-
Formal Methods for Model-Driven Engineering
-
Formal Methods for Computational Systems Biology
-
Formal Methods for Multicore Programming
-
Formal Methods for Hardware Verification
-
Formal Methods for Web Services
-
Formal Methods for Dynamical Systems
-
Formal Methods for the Design of Real-Time Systems
-
Formal Methods for Performance Evaluation
-
Formal Methods for Software Architectures
-
Formal Methods for Mobile Computing
Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems
| SKU | Unavailable |
| ISBN 13 | 9783319340951 |
| ISBN 10 | 3319340956 |
| Title | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems |
| Author | Marco Bernardo |
| Series | Programming And Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2016-06-12 |
| Number of pages | 261 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |