M. Autili, P. Di Benedetto & P. Inverardi (2009):
Context-Aware Adaptive Services: The PLASTIC Approach.
In: Fundamental Approaches to Software Engineering,
Lecture Notes in Computer Science 5503.
Springer,
doi:10.1007/978-3-642-00593-0_9.
B. Bartels & M. Kleine (2011):
A CSP-based framework for the specification, verification, and implementation of adaptive systems.
In: Software Engineering for Adaptive and Self-Managing Systems.
ACM,
doi:10.1145/1988008.1988030.
B. Becker, D. Beyer, H. Giese, F. Klein & D. Schilling (2006):
Symbolic invariant verification for systems with dynamic structural adaptation.
In: 28th International Conference on Software Engineering,
doi:10.1145/1134285.1134297.
G. Behrmann (2006):
UPPAAL 4.0.
In: International Conference on Quantitative Evaluation of Systems.
B. Cheng (2009):
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
In: Software Engineering for Self-Adaptive Systems, LNCS 5525.
Springer,
doi:10.1007/978-3-642-02161-9_1.
J. Dowling (2004):
Decentralised Coordination of Self-Adaptive Components for Autonomic Distributed Systems.
University of Dublin, Trinity College.
A. Ebnenasir (2007):
Designing Run-Time Fault-Tolerance Using Dynamic Updates.
In: Software Engineering for Adaptive and Self-Managing Systems.
IEEE,
doi:10.1109/SEAMS.2007.5.
D. Garlan, S. Cheng, A. Huang, B. Schmerl & P. Steenkiste (2004):
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.
IEEE Computer 37(10),
doi:10.1109/MC.2004.175.
I. Georgiadis, J. Magee & J. Kramer (2002):
Self-organising software architectures for distributed systems.
In: 1st Workshop on Self-healing Systems.
ACM,
doi:10.1145/582129.582135.
M. Gudemann, F. Ortmeier & W. Reif (2006):
Formal Modeling and Verification of Systems with Self-x Properties.
Lecture Notes in Computer Science.
Springer,
doi:10.1007/11839569_4.
C. Heinzemann & S.Henkler (2011):
Reusing dynamic communication protocols in self-adaptive embedded component architectures.
In: 14th Symposium on Component-based Software Engineering.
ACM,
doi:10.1145/2000229.2000246.
J. Kephart & D. Chess (2003):
The Vision of Autonomic Computing.
IEEE Computer Magazine 36(1),
doi:10.1109/MC.2003.1160055.
N. Khakpour, R. Khosravi, M. Sirjani & S. Jalili (2010):
Formal analysis of policy-based self-adaptive systems.
In: Symposium on Applied Computing.
ACM,
doi:10.1145/1774088.1774613.
J. Kramer & J. Magee (2007):
Self-Managed Systems: An Architectural Challenge.
Future of Software Engineering,
doi:10.1109/FOSE.2007.19.
R. de Lemos (2012):
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
In: Software Engineering for Self-Adaptive Systems, LNCS 7475.
Springer.
J. Magee & T. Maibaum (2006):
Towards specification, modelling and analysis of fault tolerance in self managed systems.
In: Self-adaptation and Self-managing Systems.
ACM,
doi:10.1145/1137677.1137684.
P. Oreizy, N. Medvidovic & R. Taylor (1998):
Architecture-based runtime software evolution.
In: International Conference on Software Engineering,
doi:10.1109/ICSE.1998.671114.
L. Tan (2006):
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications.
In: 6th International Conference on Quality Software,
doi:10.1109/QSIC.2006.41.
M. Utting & B. Legeard (2007):
Practical Model-Based Testing: A Tools Approach.
Morgan-Kaufmann.
M. Utting (2011):
A taxonomy of model-based testing approaches.
Testing, Verification and Reliability,
doi:10.1002/stvr.456.
E. Vassev & M. Hinchey (2009):
ASSL: A Software Engineering Approach to Autonomic Computing.
Computer 42(6),
pp. 90–93,
doi:10.1109/MC.2009.174.
D. Weyns (2012):
Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems.
In: ISSTA Workshop on Dynamic Analysis (WODA),
doi:10.1145/2338966.2336803.
D. Weyns, R. Haesevoets, A. Helleboogh, T. Holvoet & W. Joosen (2010):
The MACODO Middleware for Context-Driven Dynamic Agent Organzations.
ACM Transactions on Autonomous and Adaptive Systems 5(1),
doi:10.1145/1671948.1671951.
D. Weyns, S. Malek & J. Andersson (2012):
FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems.
ACM Transactions on Autonomous and Adaptive Systems, 7(1),
doi:10.1145/2168260.2168268.
J. Zhang & B. Cheng (2006):
Model-based development of dynamically adaptive software.
In: 28th International Conference on Software Engineering.
ACM,
doi:10.1145/1134285.1134337.