𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Assurances for Self-Adaptive Systems Volume 7740 || Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures

✍ Scribed by Cámara, Javier; de Lemos, Rogério; Ghezzi, Carlo; Lopes, Antónia


Book ID
125436824
Publisher
Springer Berlin Heidelberg
Year
2013
Weight
746 KB
Category
Article
ISBN
3642362494

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Soft
✍ Cheng, Betty H. C.; de Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, J 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 422 KB

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occ