Languages for formalizing, visualizing and verifying software architectures

IEEE P1471, Recommended practice for architectural description, http://www.pithecanthropus.com/∼awg/. Bass L, Bachmann F. Introduction to the architecture based design method, First Software Product Line Conference. Denver, CO, August 28–31, 2000. Soni D, Nord R, Hofmeister C. Software architecture in industrial applications. Proceedings of the ICSE’95. Feijs, 1999, Relation partition algebra—mathematical aspects of uses and part-of relations, Science of Computer Programming, 33, 163, 10.1016/S0167-6423(98)00007-0 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. van Ommering RC. Teddy user's manual. Technical Report 12NC-4322-2730176-1, Philips Research, 1993. Virtual reality modeling language (VRML), http://www.vrml.org/. Feijs, 1998, 3D visualization of software architectures, Communications of the ACM (CACM), 41, 72, 10.1145/290133.290151 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. 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. Feijs, 1998, A relational approach to software architecture analysis, Software Practice and Experience, 28, 371, 10.1002/(SICI)1097-024X(19980410)28:4<371::AID-SPE154>3.0.CO;2-1 Krikhaar R. Software architecture reconstruction. PhD thesis, University of Amsterdam, The Netherlands, 1999. ISBN90-74445-44-6. Kazman R, Carriere SJ. View extraction and view fusion in architectural understanding. Proceedings of the Fifth International Conference on Software Reuse, 1998. Chikofsky E, Cross J. Reverse engineering and design recovery: a taxonomy. IEEE Software, January 1990. 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. 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. Aesop, A software architecture design environment generator. http://www.cs.cmu.edu/afs/cs/project/able/www/aesop. 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. 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. The Stanford Rapide Project, http://pavg.stanford.edu/rapide/.