relation: http://eprints.imtlucca.it/2937/
title: Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction
creator: Wirsing, Martin
creator: De Nicola, Rocco
creator: Hölzl, Matthias
subject: QA75 Electronic computers. Computer science
subject: T Technology (General)
description: Today’s software systems are becoming increasingly distributed and decentralized and have to adapt autonomously to dynamically changing, open-ended environments. Often their nodes partake in complex interactions with other nodes or with humans. We call these kinds of distributed, complex systems operating in openended and changing environments, ensembles.
publisher: Springer
date: 2014
type: Book Section
type: PeerReviewed
identifier:   Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias  Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction.   In:  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.   Lecture Notes in Computer Science  (8802).  Springer, pp. 96-98.  ISBN 978-3-662-45233-2      (2014)  
relation: http://dx.doi.org/10.1007/978-3-662-45234-9_7
relation: 10.1007/978-3-662-45234-9_7