%0 Book Section
%A Wirsing, Martin
%A De Nicola, Rocco
%A Hölzl, Matthias
%B Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.
%D 2014
%F eprints:2937
%I Springer
%N 8802
%P 96-98
%S Lecture Notes in Computer Science
%T Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction
%U http://eprints.imtlucca.it/2937/
%X 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.