N.A. Baas (1994):
Emergence, hierarchies, and hyperstructures.
In: C.G. Langton: Artificial Life III 17.
Addison Wesley,
pp. 515–537.
I.C. Baianu & R. Poli (2010):
From simple to super-and ultra-complex systems: a paradigm shift towards non-Abelian emergent system dynamics.
Theory and Applications of Ontology 2.
E. Bartocci, D.R. Cacciagrano, M.R. Di Berardini, E. Merelli & L. Tesei (2010):
Timed Operational Semantics and Well-Formedness of Shape Calculus.
Scientific Annals of Computer Science 20,
pp. 33–52.
E. Bartocci, F. Corradini, M.R. Di Berardini, E. Merelli & L. Tesei (2010):
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Scientific Annals of Computer Science 20,
pp. 1–31.
R. Bruni, A. Bucchiarone, S. Gnesi & H. Melgratti (2008):
Modelling dynamic software architectures using typed graph grammars.
Electronic Notes in Theoretical Computer Science 213(1),
pp. 39–53,
doi:10.1016/j.entcs.2008.04.073.
R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente & A. Vandin (2012):
A conceptual framework for adaptation.
In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012).
In Press. Springer.
B. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun & B. Cukic (2009):
Software engineering for self-adaptive systems: A research roadmap.
Software Engineering for Self-Adaptive Systems,
pp. 1–26,
doi:10.1007/978-3-642-02161-9_1.
E.M. Clarke, E.A. Emerson & A.P. Sistla (1986):
Automatic verification of finite-state concurrent systems using temporal logic specifications.
ACM Transactions on Programming Languages and Systems (TOPLAS) 8(2),
pp. 244–263,
doi:10.1145/5397.5399.
F. Corradini, P. Inverardi & A.L. Wolf (2006):
On relating functional specifications to architectural specifications: a case study.
Science of Computer Programming 59(3),
pp. 171–208,
doi:10.1016/j.scico.2005.04.003.
D. Harel (1987):
Statecharts: A visual formalism for complex systems.
Science of computer programming 8(3),
pp. 231–274,
doi:10.1016/0167-6423(87)90035-9.
G. Karsai, A. Ledeczi, J. Sztipanovits, G. Peceli, G. Simon & T. Kovacshazy (2003):
An approach to self-adaptive software based on supervisory control.
Self-adaptive software: applications,
pp. 77–92,
doi:10.1007/3-540-36554-0_3.
N. Khakpour, S. Jalili, C. Talcott, M. Sirjani & M.R. Mousavi (2010):
PobSAM: policy-based managing of actors in self-adaptive systems.
Electronic Notes in Theoretical Computer Science 263,
pp. 129–143,
doi:10.1016/j.entcs.2010.05.008.
N. Khakpour, R. Khosravi, M. Sirjani & S. Jalili (2010):
Formal analysis of policy-based self-adaptive systems.
In: Proceedings of the 2010 ACM Symposium on Applied Computing.
ACM,
pp. 2536–2543,
doi:10.1145/1774088.1774613.
J. Kramer & J. Magee (2007):
Self-managed systems: an architectural challenge.
In: Future of Software Engineering, 2007. FOSE'07.
IEEE,
pp. 259–268,
doi:10.1109/FOSE.2007.19.
S.S. Kulkarni & K.N. Biyani (2004):
Correctness of component-based adaptation.
Component-Based Software Engineering,
pp. 48–58,
doi:10.1007/978-3-540-24774-6_6.
R. Laddaga (1997):
Self-adaptive software..
Technical Report 98-12.
DARPA BAA.
D. Le Métayer (1998):
Describing software architecture styles using graph grammars.
Software Engineering, IEEE Transactions on 24(7),
pp. 521–533,
doi:10.1109/32.708567.
J. Meseguer & C. Talcott (2006):
Semantic models for distributed object reflection.
ECOOP 2002 - Object-Oriented Programming,
pp. 1637–1788,
doi:10.1007/3-540-47993-7_1.
R. Rosen (1985):
Anticipatory systems.
Pergamon Press.
M. Salehie & L. Tahvildari (2009):
Self-adaptive software: Landscape and research challenges.
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4(2),
doi:10.1145/1516533.1516538.
M.E. Shin (2005):
Self-healing components in robust software architecture for concurrent and distributed systems.
Science of Computer Programming 57(1),
pp. 27–44,
doi:10.1016/j.scico.2004.10.003.
J. Zhang & B.H.C. Cheng (2006):
Model-based development of dynamically adaptive software.
In: Proceedings of the 28th international conference on Software engineering.
ACM,
pp. 371–380,
doi:10.1145/1134285.1134337.
J. Zhang, H.J. Goldsby & B.H.C. Cheng (2009):
Modular verification of dynamically adaptive systems.
In: Proceedings of the 8th ACM international conference on Aspect-oriented software development.
ACM,
pp. 161–172,
doi:10.1145/1509239.1509262.
eptcs@eptcs.org