✦ 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
DOI: 10.1007/978-3-642-36249-1_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Assu

[Lecture Notes in Computer Science] Assurances for Self-Adaptive Systems Volume 7740 || Assurance of Self-adaptive Controllers for the Cloud

✍ Cámara, Javier; de Lemos, Rogério; Ghezzi, Carlo; Lopes, Antónia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 313 KB

[Lecture Notes in Computer Science] Assu

[Lecture Notes in Computer Science] Assurances for Self-Adaptive Systems Volume 7740 || Accurate Proactive Adaptation of Service-Oriented Systems

✍ Cámara, Javier; de Lemos, Rogério; Ghezzi, Carlo; Lopes, Antónia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 607 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Architecture Volume 6903 || A Self-adaptive Monitoring Framework for Component-Based Software Systems

✍ Crnkovic, Ivica; Gruhn, Volker; Book, Matthias 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 302 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Formal Analysis and Verification of Self-Healing Systems

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 923 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering for Self-Adaptive Systems Volume 5525 || Modeling of Context-Aware Self-Adaptive Applications in Ubiquitous and Service-Oriented Environments

✍ 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

[Lecture Notes in Computer Science] Dist

[Lecture Notes in Computer Science] Distributed Applications and Interoperable Systems Volume 2893 || Towards a Framework for Self-adaptive Component-Based Applications

✍ Stefani, Jean-Bernard; Demeure, Isabelle; Hagimont, Daniel 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 213 KB