Specifying Distributed Software Architectures (1995)

by Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer
Citations:344 - 23 self

Documents Related by Co-Citation

653 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
631 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
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
1295 Software Architecture: Perspectives on an Emerging Discipline – M Shaw, D Garlan - 1996
275 Acme: An Architecture Description Interchange Language – David Garlan, Robert Monroe, David Wile - 1997
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
174 Correct Architecture Refinement – Mark Moriconi, Xiaolei Qian, R. A. Riemenschneider - 1995
203 D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems – D Garlan, R T Monroe, Wile - 2000
568 An introduction to software architecture – David Garlan, Mary Shaw - 1993
116 Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model – Paola Inverardi, Alexander L. Wolf - 1995
161 Exploiting Style in Architectural Design Environments – David Garlan , Robert Allen, John Ockerbloom - 1994
232 An Event-Based Architecture Definition Language – David C. Luckham, James Vera - 1995
262 D.Garlan, "Formalising Architectural Connection – R Allen - 1994
109 Introduction to the special issue on software architecture – D Garlan, D Perry - 1995
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
112 Using Style to Understand Descriptions of Software Architecture – Gregory Abowd, Robert Allen, David Garlan - 1993
85 Using Weaves for Software Construction and Analysis – M M Gorlick, R R Razouk - 1991
203 Architecture-based runtime software evolution – Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor - 1998
16 Formal real-time architecture specification and analysis – P Blinn, S Vestal - 1993