%D 2014
%N 8802
%A Martin Wirsing
%A Rocco De Nicola
%A Matthias H?lzl
%L eprints2937
%P 96-98
%R 10.1007/978-3-662-45234-9_7
%I Springer
%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.
%S Lecture Notes in Computer Science
%B Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.
%T Introduction to ?Rigorous Engineering of Autonomic Ensembles?? Track Introduction