Introduction--- Software architectures model systems at high levels of abstraction. They capture information about a system's components and how those components are interconnected. Some software architectures also capture information about the possible states of components and about the component behaviors that involve component interaction; behaviors and data manipulations internal to a component are typically not considered at this
|
936
|
Program slicing
– Weiser
- 1981
|
|
540
|
Interprocedural slicing using dependence graphs
– Horwitz, Reps, et al.
- 1988
|
|
466
|
A survey of program slicing techniques
– Tip
- 1995
|
|
278
|
Specification and analysis of system architecture using rapide
– Luckham, Kenney, et al.
- 1995
|
|
278
|
Specifying distributed software architectures
– Magee, Dulay, et al.
- 1995
|
|
244
|
Formalizing Architectural Connection
– Allen, Garlan
- 1994
|
|
198
|
Software reflexion models: bridging the gap between design and implementation
– Murphy, Notkin, et al.
|
|
114
|
L.: A formal model of program dependences and its implications for software testing, debugging, and maintenance
– Podgurski, Clarke
- 1990
|
|
111
|
A framework for classifying and comparing architecture description languages
– Medvidovic, Taylor
- 1997
|
|
64
|
Interprocedural def-use associations for C systems with single level pointers
– Pande, Landi, et al.
- 1994
|
|
57
|
T.J.Ralston, Formal Methods Reality Check: Industrial Usage
– Craigen
- 1995
|
|
37
|
Slicing Concurrent Programs -- A GraphTheoretical Approach
– Cheng
- 1993
|
|
32
|
Checking assumptions in component dynamics at the architectural level
– Inverardi, Wolf, et al.
- 1997
|
|
31
|
Applying static analysis to software architectures
– Naumovich, Avrunin, et al.
|
|
29
|
Static slicing of concurrent object-oriented programs
– Zhao, Cheng, et al.
- 1996
|
|
28
|
Beyond traditional program slicing
– Sloane, Holdsworth
- 1996
|
|
22
|
An execution-backtracking approach to debugging
– Agrawal, DeMillo, et al.
- 1991
|
|
22
|
The WRIGHT architectural specification language
– Allen, Garlan
- 1996
|
|
22
|
Developing and Integrating ProDAG in the Arcadia Environment
– Richardson, O'Malley, et al.
- 1992
|
|
19
|
Static and dynamic specification slicing
– Chang, Richardson
- 1994
|
|
16
|
Using Dependence Analysis to Support Software Architecture Understanding
– Zhao
- 1997
|
|
11
|
Program slicing in understanding of large programs
– Korel, Rilling
- 1998
|
|
9
|
Specification slicing in formal methods of software development
– Oda, Araki
- 1993
|
|
8
|
Developing an Approach for the Recovery of Distributed Software Architectures
– Mendonca, Kramer
- 1998
|
|
5
|
ProDAG: A Program Dependence Graph System
– Moore, O'Malley, et al.
- 1990
|
|
2
|
State of the Art and Future Directions
– Clarke, Wing
- 1996
|
|
