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