Gregory D. Abowd, Robert Allen & David Garlan (1995):
Formalizing Style to Understand Descriptions of Software Architecture.
ACM Transactions on Software Engineering and Methodology,
doi:10.1145/226241.226244.
Robert Allen (1997):
A Formal Approach to Software Architecture.
Carnegie Mellon, School of Computer Science.
Robert Allen & David Garlan (1992):
A Formal Approach to Software Architectures.
Proceedings of the IFIP 12th World Computer Congress.
Len Bass, Paul Clements & Rick Kazman (2012):
Software Architecture In Practice,
3rd edition.
Pearson Education, Inc..
Marco Bernardo, Paolo Ciancarini & Lorenzo Donatiello (2000):
On the formalization of architectural types with process algebras.
ACM SIGSOFT Software Engineering Notes,
doi:10.1145/357474.355064.
Manfred Broy (2005):
Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures.
In: Eng. Theories of Software Intensive Systems,
doi:10.1007/1-4020-3532-2_2.
Manfred Broy (2011):
Can practitioners neglect theory and theoreticians neglect practice?.
IEEE Computer,
doi:10.1109/MC.2011.305.
Manfred Broy & Ketil Stølen (2001):
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement.
Springer,
doi:10.1007/978-1-4613-0091-5.
Frank Buschmann, Kelvin Henney & Douglas Schimdt (2007):
Pattern-oriented Software Architecture: On Patterns and Pattern Language.
Wiley.
David Garlan (2000):
Software architecture: a roadmap.
In: ICSE 2000,
doi:10.1145/336512.336537.
David Garlan & Norman Delisle (1990):
Formal Specifications as Reusable Frameworks.
In: Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development,
doi:10.1007/3-540-52513-0_9.
David Garlan & David Notkin (1991):
Formalizing Design Spaces: Implicit Invocation Mechanisms.
In: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development.
Charles Antony Richard Hoare (1985):
Communicating sequential processes.
Prentice Hall.
Daniel Jackson (2012):
Software Abstractions: logic, language, and analysis.
MIT Press.
Pontus Johnson, Mathias Ekstedt & Ivar Jacobson (2012):
Where's the Theory for Software Engineering?.
IEEE software,
doi:10.1109/MS.2012.127.
Daniel Le Métayer (1998):
Describing Software Architecture Styles using Graph Grammars.
IEEE Transactions on Software Engineering,
doi:10.1109/32.708567.
D. Marmsoler (2014):
Towards a Theory of Architectural Styles.
In: 22th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-22),
pp. 823–825,
doi:10.1145/2635868.2661683.
Mark Moriconi, Xiaolei Qian & Robert A. Riemenschneider (1995):
Correct Architecture Refinement.
IEEE Transactions on Software Engineering,
doi:10.1109/32.385972.
Mary Shaw & Paul Clements (2006):
The golden age of software architecture.
Software, IEEE,
doi:10.1109/MS.2006.58.
Mary Shaw & David Garlan (1996):
Software architecture: perspectives on an emerging discipline.
Joao Pedro Sousa & David Garlan (2001):
Formal Modeling of the Enterprise JavaBeans Component Integration Framework.
Information and Software Technology,
doi:10.1016/S0950-5849(00)00157-9.
Richard N. Taylor, Nenad Medvidovic & Eric M. Dashofy (2010):
Software Architecture: Foundations, Theory, and Practice.
John Wiley & Sons.
Pamela Zave & Jennifer Rexford (2013):
Compositional Network Mobility.
In: Verified Software: Theories, Tools, Experiments - 5th International Conference,
pp. 68–87,
doi:10.1007/978-3-642-54108-7_4.
eptcs@eptcs.org