Robert Allen, Rémi Douence & David Garlan (1998):
Specifying and Analyzing Dynamic Software Architectures.
In: FASE,
pp. 21–37,
doi:10.1007/BFb0053581.
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein & Daniela Schilling (2006):
Symbolic invariant verification for systems with dynamic structural adaptation.
In: ICSE,
pp. 72–81,
doi:10.1145/1134285.1134297.
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel & Michel Wermelinger (2004):
A survey of self-management in dynamic software architecture specifications.
In: WOSS,
pp. 28–33,
doi:10.1145/1075405.1075411.
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari & Emilio Tuosto (2008):
Style-Based Architectural Reconfigurations.
In: Bulletin of the EATCS,
pp. 161–180.
Jamieson M. Cobleigh, Dimitra Giannakopoulou & Corina S. Pasareanu (2003):
Learning Assumptions for Compositional Verification.
In: TACAS,
pp. 331–346,
doi:10.1007/3-540-36577-X_24.
Frank Drewes, Hans-Jörg Kreowski & Annegret Habel (1997):
Hyperedge Replacement, Graph Grammars.
In: Handbook of Graph Grammars,
pp. 95–162,
doi:10.1142/9789812384720_0002.
Dijkstra W. Edsger (1975):
Guarded commands, non-determinancy and a calculus for the derivation of programs.
In: Language Hierarchies and Interfaces,
pp. 111–124,
doi:10.1007/3-540-07994-7_51.
Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone & Patrizio Pelliccione (2010):
Formal Analysis and Verification of Self-Healing Systems.
In: FASE,
pp. 139–153,
doi:10.1007/978-3-642-12029-9_10.
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley R. Schmerl & Peter Steenkiste (2004):
Rainbow: Architecture-Base Self-Adaptation with Reusable Infrastructure.
IEEE Computer 37(10),
pp. 46–54,
doi:10.1109/MC.2004.175.
Annegret Habel, Karl-Heinz Pennemann & Arend Rensink (2006):
Weakest Preconditions for High-Level Programs.
In: ICGT,
pp. 445–460,
doi:10.1007/11841883_31.
Dan Hirsch, Paola Inverardi & Ugo Montanari (1999):
Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving.
In: WICSA1,
pp. 127–144.
Daniel Le Métayer (1998):
Describing Software Architecture Styles Using Graph Grammars.
IEEE Trans. Software Eng. 24(7),
pp. 521–533,
doi:10.1109/32.708567.
Bertrand Meyer (1992):
Applying Design by Contract.
IEEE COMPUTER 25,
pp. 40–51,
doi:10.1109/2.161279.
Mary Shaw & David Garlan (1996):
Software Architectures: Perspectives on an emerging discipline.
Prentice Hall.
eptcs@eptcs.org