1. Gregory D Abowd, Robert Allen & David Garlan (1995): Formalizing Style to Understand Descriptions of Software Architecture. TOSEM, doi:10.1145/226241.226244.
  2. Robert Allen, Remi Douence & David Garlan (1998): Specifying and Analyzing Dynamic Software Architectures. In: FASE, doi:10.1007/bfb0053581.
  3. Robert J Allen (1997): A Formal Approach to Software Architecture.. Technical Report. DTIC Document.
  4. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking (Representation and Mind Series). The MIT Press.
  5. Marco Bernardo, Paolo Ciancarini & Lorenzo Donatiello (2000): On the Formalization of Architectural Types with Process Algebras. In: ACM SIGSOFT SEN, doi:10.1145/357474.355064.
  6. Lars Bratthall, Enrico Johansson & Björn Regnell (2000): Is a Design Rationale Vital when Predicting Change Impact? –A Controlled Experiment on Software Architecture Evolution. In: PROFES, doi:10.1007/978-3-540-45051-1_14.
  7. Manfred Broy (1996): Algebraic Specification of Reactive Systems. In: AMAST, doi:10.1007/bfb0014335.
  8. Manfred Broy (2014): A Model of Dynamic Systems. In: FPS, doi:10.1007/978-3-642-54848-2_3.
  9. Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad & Michael Stal (1996): PATTERN-ORIENTED SOFTWARE ARCHITECTURE: A System of Patterns.
  10. Roberto Cavada, Alessandro Cimatti, Charles Arthur Jochim, Gavin Keighren, Emanuele Olivetti, Marco Pistore, Marco Roveri & Andrei Tchaltsev: NuSMV 2.5 User Manual, 2010.
  11. Corporation MITRE (2011): CWE/SANS Top 25 Most Dangerous Software Errors. Available at
  12. Juan de Dalmau & Jacques Gigou (1997): Ariane-5: Learning from Flight 501 and Preparing for 502. Available at ESA Bulletin Nr. 89.
  13. Eric M Dashofy, André Van der Hoek & Richard N Taylor (2001): A Highly-Extensible, XML-Based Architecture Description Language. In: WICSA, doi:10.1109/wicsa.2001.948416.
  14. Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer & Martin Wirsing (2012): Stable availability under denial of service attacks through formal patterns. In: FASE, doi:10.1007/978-3-642-28872-2_6.
  15. José Luiz Fiadeiro & Antónia Lopes (2013): A Model for Dynamic Reconfiguration in Service-oriented Architectures. SoSyM, doi:10.1007/s10270-012-0236-1.
  16. Erich Gamma, Richard Helm, Ralph Johnson & John Vlissides (1994): Design Patterns: Elements of Reusable Object-Oriented Software.
  17. David Garlan (2000): Software Architecture: a Roadmap. In: FOSE, doi:10.1145/336512.336537.
  18. David Garlan (2003): Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. In: Sfm, doi:10.1007/978-3-540-39800-4_1.
  19. Paola Inverardi & Alexander L Wolf (1995): Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE TSE, doi:10.1109/32.385973.
  20. Daniel Jackson (2002): Alloy: A Lightweight Object Modelling Notation. TOSEM, doi:10.1145/505145.505149.
  21. Jung Soo Kim & David Garlan (2006): Analyzing Architectural Styles with Alloy. In: ROSATEA, doi:10.1145/1147249.1147259.
  22. Daniel Le Métayer (1998): Describing Software Architecture Styles Using Graph Grammars. IEEE TSE, doi:10.1109/32.708567.
  23. Zengyang Li, Peng Liang & Paris Avgeriou (2015): Architectural Technical Debt Identification Based on Architecture Decisions and Change Scenarios. In: WICSA, doi:10.1109/WICSA.2015.19.
  24. David C Luckham, John J Kenney, Larry M Augustin, James Vera, Doug Bryan & Walter Mann (1995): Specification and Analysis of System Architecture Using Rapide. IEEE TSE 21(4), pp. 336–354, doi:10.1109/32.385971.
  25. Jeff Magee & Jeff Kramer (1996): Dynamic Structure in Software Architectures. ACM SIGSOFT SEN, doi:10.1145/239098.239104.
  26. Zohar Manna & Amir Pnueli (1992): The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Science & Business Media, doi:10.1007/978-1-4612-0931-7.
  27. Diego Marmsoler: DACL - Dynamic Architecture Constraint Language. Available at
  28. Diego Marmsoler & Mario Gleirscher (2016): Specifying Properties of Dynamic Architectures using Configuration Traces. In: ICTAC. Springer, doi:10.1007/978-3-319-46750-4_14.
  29. Nikunj R Mehta & Nenad Medvidovic (2003): Composing Architectural Styles From Architectural Primitives. In: ACM SIGSOFT SEN. ACM, doi:10.1145/949952.940118.
  30. Mark Moriconi, Xiaolei Qian & Robert A Riemenschneider (1995): Correct Architecture Refinement. IEEE TSE, doi:10.1109/32.385972.
  31. Flavio Oquendo (2004): π-ADL: An Architecture Description Language based on the Higher-Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM SIGSOFT SEN, doi:10.1145/986710.986728.
  32. John Penix, Perry Alexander & Klaus Havelund (1997): Declarative Specification of Software Architectures. In: ASE, doi:10.1109/ase.1997.632840.
  33. Mary Shaw & David Garlan (1996): Software Architecture: Perspectives on an Emerging Discipline 1. Prentice Hall Englewood Cliffs.
  34. Richard N Taylor, Nenad Medvidovic & Eric M Dashofy (2009): Software Architecture: Foundations, Theory, and Practice. Wiley Publishing, doi:10.1145/1595696.1595754.
  35. Michel Wermelinger & José Luiz Fiadeiro (2002): A graph transformation approach to software architecture reconfiguration. SCP, doi:10.1016/s0167-6423(02)00036-9.
  36. Michel Wermelinger, Antónia Lopes & José Luiz Fiadeiro (2001): A Graph Based Architectural (Re)configuration Language. In: ACM SIGSOFT SEN, doi:10.1145/503271.503213.
  37. Martin Wirsing (1990): Algebraic Specification. In: Handbook of Theoretical Computer Science (Vol. B), doi:10.1016/b978-0-444-88074-1.50018-4.
  38. Stephen Wong, Jing Sun, Ian Warren & Jun Sun (2008): A Scalable Approach to Multi-Style Architectural Modeling and Verification. In: ICECCS 2008, doi:10.1109/iceccs.2008.16.
  39. Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong & Jun Sun (2012): Model Checking Software Architecture Design. In: HASE, doi:10.1109/hase.2012.12.

Comments and questions to:
For website issues: