Languages for formalizing, visualizing and verifying software architectures

Computer Languages

Volumn 27, Issue 1-3, 2001, Pages 3-18

  Van Ommering, Rob ^a   Krikhaar, René ^b   Feijs, Loe ^c  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

^b PHILIPS HEALTHCARE   (United States)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Formalization; Software architecture; Verification; Visualization

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; GRAPHIC METHODS; PROBLEM SOLVING;

SOFTWARE ARCHITECTURE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0035297885     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(01)00013-3     Document Type: Article

References (20)

1. IEEE P1471, Recommended practice for architectural description, http://www.pithecanthropus.com/awg/.
2. Bass L, Bachmann F. Introduction to the architecture based design method, First Software Product Line Conference. Denver, CO, August 28-31, 2000.
3. Soni D, Nord R, Hofmeister C. Software architecture in industrial applications. Proceedings of the ICSE'95.
4. Feijs LMG, van Ommering RC. Relation partition algebra - mathematical aspects of uses and part-of relations. Science of Computer Programming 1999;33:163-212.
5. Toft P, Coleman D, Ohta J. A cooperative model for cross-divisional product development for a software product line. First Software Product Line Conference, Denver, CO, USA, August 28-31, 2000.
6. van Ommering RC. Teddy user's manual. Technical Report 12NC-4322-2730176-1, Philips Research, 1993.
7. Virtual reality modeling language (VRML), http://www.vrml.org/.
8. Feijs LMG, de Jong R. 3D visualization of software architectures. Communications of the ACM (CACM) 1998;41(12):72-8.
9. Hoover HJ, Olekshy T, Froehlich G, Sorenson P. Developing engineered product support application, First Software Product Line Conference, Denver, CO, USA, August 28-31, 2000.
10. Bril RJ, Postma A. A new architectural metric and its visualisation to support incremental re-architecting of large legacy systems, Fourth International Workshop on Software Architecture, Limerick, Ireland, June 4-5, 2000.
11. Feijs L, Krikhaar R, van Ommering R. A relational approach to software architecture analysis. Software Practice and Experience 1998;28(4):371-400.
12. Krikhaar R. Software architecture reconstruction. PhD thesis, University of Amsterdam, The Netherlands, 1999. ISBN90-74445-44-6.
13. Kazman R, Carriere SJ. View extraction and view fusion in architectural understanding. Proceedings of the Fifth International Conference on Software Reuse, 1998.
14. Chikofsky E, Cross J. Reverse engineering and design recovery: a taxonomy. IEEE Software, January 1990.
15. Holt RC. Structural manipulations of software architecture using Tarski relational algebra. Proceedings of the Fifth Working Conference of Reverse Engineering, WCRE'98, IEEE Computer Society, 1998.
16. Murphy G, Notkin D, Sullivan K. Software reflexion models: bridging the gap between source and high-level models. Proceedings of the Third ACM SigSoft Symposium on Foundations of Software Engineering. New York: ACM, 1995, p. 18-28.
17. Aesop, A software architecture design environment generator, http://www.cs.cmu.edu/afs/cs/project/able /www/aesop.
18. Magee J, Dulay N, Eisenbach S, Kramer J. Specifying distributed software architectures. In: Schafer W, Botella P, editors. Proceedings of ESEC'95, Lecture Notes in Computer Science, vol. 989. Berlin: Springer, 1995. p. 137-53.
19. van Ommering R, van der Linden F, Kramer J, Magee J. The koala component model for consumer electronics software. IEEE Computer 2000;March:78-85.
20. The Stanford Rapide Project, http://pavg.stanford.edu/rapide/.