The application of dependence analysis to software architecture descriptions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2804, Issue , 2003, Pages 52-62

  Stafford, Judith A ^a   Wolf, Alexander L ^b   Caporuscio, Mauro ^c  

^a Tufts University   (United States)

^b UCB 450   (United States)

^c UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE; FORMAL METHODS; SOFTWARE ARCHITECTURE;

ANALYSIS TECHNIQUES; ARCHITECTURAL DESCRIPTIONS; ARCHITECTURAL LEVELS; ARCHITECTURE DESCRIPTION; DEPENDENCE ANALYSIS; SOFTWARE SYSTEMS;

SOFTWARE DESIGN;

EID: 24644456509     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_4     Document Type: Article

References (15)

1. M. Caporuscio, A. Carzaniga, and A.L. Wolf. Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications. IEEE Transactions on Software Engineering. To appear.
2. M.S. Feather. Rapid Application of Lightweight Formal Methods for Consistency Analyses. IEEE Transactions on Software Engineering, 24(11):949-959, November 1998.
3. E.R. Gansner, E. Koutsofios, S.C. North, and K.-P. Vo. A Technique for Drawing Directed Graphs. IEEE Transactions on Software Engineering, 19(3):214-230, March 1993.
4. D. Garlan, R. Monroe, and D. Wile. ACME: An Architecture Description Interchange Language. In Proceedings of GASCON '97, pages 169-183. IBM Center for Advanced Studies, November 1997.
5. D. Jackson and J.M. Wing. Lightweight Formal Methods. Computer, 29(4):21-22, April 1996.
6. A. Podgurski and L.A. Clarke. A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance. IEEE Transactions on Software Engineering, 16(9):965-979, September 1990.
7. J.A. Stafford. A Formal, Language-Independent, and Compositional Approach to Control Dependence Analysis. PhD thesis, University of Colorado, Boulder, Colorado, USA, August 2000.
8. J.A. Stafford and A.L. Wolf. Architecture-Level Dependence Analysis in Support of Software Maintenance. In Proceedings of the Third International Software Architecture Workshop, pages 129-132, November 1998.
9. J.A. Stafford and A.L. Wolf. Architecture-Level Dependence Analysis for Software Systems. International Journal of Software Engineering and Knowledge Engineering, 11(4):431-452, August 2001.
10. RAPIDE Design Team. Draft: Guide to the Rapide 1.0 Language Reference Manuals. July 1997.
11. RAPIDE Design Team. Draft: Rapide 1.0 Architecture Language Reference Manual. July 1997.
12. RAPIDE Design Team. Draft: Rapide 1.0 Pattern Language Reference Manual. July 1997.
13. S. Vestal. MetaH Programmer's Manual Version 1.27. Honeywell, Inc., Minneapolis, MN, 1998.
14. M.E.R. Vieira, M.S. Dias, and D.J. Richardson. Analyzing Software Architectures with Argus-I. In Proceedings of the 2000 International Conference on Software Engineering, pages 758-761. Association for Computer Machinery, June 2000.
15. J. Zhao. Using Dependence Analysis to Support Software Architecture Understanding. New Technologies on Computer Software, pages 135-142, September 1997.