Documents Related by Co-Citation

323 Specification and analysis of system architecture using Rapide – David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann - 1995
653 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
316 Abstractions for Software Architecture and Tools to Support Them – Mary Shaw , Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik - 1995
631 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
568 An introduction to software architecture – David Garlan, Mary Shaw - 1993
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
161 Exploiting Style in Architectural Design Environments – David Garlan , Robert Allen, John Ockerbloom - 1994
344 Specifying Distributed Software Architectures – Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer - 1995
174 Correct Architecture Refinement – Mark Moriconi, Xiaolei Qian, R. A. Riemenschneider - 1995
98 Formalizing design spaces: Implicit invocation mechanisms – David Garlan, David Notkin
47 Towards Formalized Software Architecture – Mary Shaw, David Garlan
116 Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model – Paola Inverardi, Alexander L. Wolf - 1995
1295 Software Architecture: Perspectives on an Emerging Discipline – M Shaw, D Garlan - 1996
262 D.Garlan, "Formalising Architectural Connection – R Allen - 1994
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
606 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
275 Acme: An Architecture Description Interchange Language – David Garlan, Robert Monroe, David Wile - 1997
203 D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems – D Garlan, R T Monroe, Wile - 2000
1098 The Z Notation: a reference manual – J Michael Spivey - 1992