|
31
|
Checking Assumptions in Component Dynamics at the Architectural Level
– Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
- 1997
|
|
42
|
Towards Formalized Software Architectures
– Robert Allen, David Garlan
- 1992
|
|
35
|
Static checking of system behaviors using derived component assumptions
– Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
- 2000
|
|
16
|
Uncovering Architectural Mismatch in Component Behavior
– Daniele Compare, Paola Inverardi, Alexander L. Wolf
- 1999
|
|
14
|
A Case Study in Architectural Modeling: The AEGIS System
– Robert Allen, David Garlan, Robert Allen, David Garlan
- 1996
|
|
35
|
Software Architecture Styles as Graph Grammars
– Daniel Le Metayer
- 1996
|
|
258
|
A Formal Approach to Software Architecture
– Robert J. Allen
- 1997
|
|
529
|
A classification and comparison framework for software architecture description languages
– Nenad Medvidovic, Richard N. Taylor
- 2000
|
|
|
The Formal Derivation of Parallel Triangular System Solvers Using a Coordination-Based Design Method
– Michel R. V. Chaudron, Arno C. N. Van Duin
|
|
312
|
Specifying Distributed Software Architectures
– Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
- 1995
|
|
|
JACK: A process algebra implementation in Java
– Leonardo Freitas
- 2002
|
|
2
|
Development of a Formalism for Modelling and Analysis of Dynamic . . .
– Anirban Bhattacharyya, John S. Fitzgerald
- 2008
|
|
149
|
Exploiting Style in Architectural Design Environments
– David Garlan , Robert Allen, John Ockerbloom
- 1994
|
|
5
|
Candidate Model Problems in Software Architecture
– Mary Shaw , David Garlan, Robert Allen, Dan Klein, John Ockerbloom, Curtis Scott, Marco Schumacher
- 1995
|
|
4
|
Domains as a Prerequisite for Requirements and Software --- Domain Perspectives & Facets, Requirements Aspects and Software Views
– Dines Bjørner
- 1997
|
|
|
Distribution unlimited.
– David Garlan, Mary Shaw, Chris Okasaki, Curtis M. Scott, Roy F. Swonger, David Garlan, Mary Shaw, Chris Okasaki, Curtis M. Scott, Roy F. Swonger, John S. Herman
- 1992
|
|
38
|
Characteristics of Higher-level Languages for Software Architecture
– Mary Shaw, David Garlan
- 1994
|
|
1
|
The Golden Age of Software Architecture: A Comprehensive Survey
– Paul Clements, Mary Shaw
- 2006
|
|
12
|
Gamma And The Chemical Reaction Model
– Jean-Pierre Banâtre, Daniel Le Métayer
- 1996
|
