Logo eprints

Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-662-45234-9_7
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > T Technology (General)
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 30 Nov 2015 12:56
Last Modified: 30 Nov 2015 12:56
URI: http://eprints.imtlucca.it/id/eprint/2937

Actions (login required)

Edit Item Edit Item