- 1.R. Allen and D. Garlau. A Formal Basis for Architectural Connection. ACM Transactions on Sofhoare Engineering and Methodology, July 1997. Google ScholarDigital Library
- 2.P. America. Designing an Object-Oriented Programming Language with Behavioral Subtyping. Lecture Notes in Computer Science, volume 489, Springer-Verlag, 1991. Google ScholarDigital Library
- 3.D. BatoIy, L. Cogliauese, S. Shafer, and W. Tracz. The ADAGE Avionics Reference Architecture. In Proceedings of AIAA Computing in Aerospace 10, San Antonio, 1995.Google Scholar
- 4.C. Canal, E. Pimentel, J. M. Troya. A pi-calculus Semantics for au Architecture Description Language. Technical Report, Theorem provers and model checkers typically require some assistance from the user. This is entirely consistent with DRADEL'S expectation that the user will play an active role in architecture-based system development and evolution. LCC-ITI-98-07, Depto. de Lenguajes y Ciencias de la Computacibn, Universidad de MQaga, Spain, April 1998.Google Scholar
- 5.K. K. Dhara and G. T. Leavens. Forcing Behavioral Subtyping through Specification Inheritance. Technical Report, TR# 952Oc, Department of Computer Science, Iowa State University, August 1995, revised March 1997.Google Scholar
- 6.B. Fischer, M. Kievemagel, and W. Struckmann. VCR: A VDM-Based Software Component Retrieval Tool. Technical Report 94-08, Technical University of Braunschweig, Germany, November 1994.Google Scholar
- 7.D. Garlan, R. Allen, and J. Ockerbloom. Exploiting Style in Architectural Design Environments. In Proceedings ofSIG- SOFT'94: Foundations of Software Engineering, New Orleans, LA, USA, December 1994. Google ScholarDigital Library
- 8.D. Garlan, R. Monroe, and D. Wile. ACME: An Architecture Description Interchange Language. In Proceedings of CAS- CON'97, November 1997. Google ScholarDigital Library
- 9.C. Ghezzi, M. Jazayeri, D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall, 1991. Google ScholarDigital Library
- 10.M. M. Gorlick and R. R. Razouk. Using Weaves for Software Construction and Analysis. In Proceedings of the 13th International Conference on Software Engineering (ICSEI3), Austin, TX, May 1991. Google ScholarDigital Library
- 11.J. V. Guttag and J. J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer-Verlag, 1993. Google ScholarDigital Library
- 12.P Inverardi and A. L. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, April 1995. Google ScholarDigital Library
- 13.I? Inverardi, A. L. Wolf, and D. Yankelevich. Checking Assumptions in Component Dynamics at the Architectural Level. In Proceedings of the Second International Conference on Coordination Models and Languages (COORD '97), Berlin, 1997. Google ScholarDigital Library
- 14.D. C. Luckham and J. Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, September 1995. Google ScholarDigital Library
- 15.B. H. Liskov and J. M. Wing. A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, November 1994. Google ScholarDigital Library
- 16.J. Magee and J. Kramer. Dynamic Structure in Software Architectures. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE4), San Francisco, CA, October 1996. Google ScholarDigital Library
- 17.N. Medvidovic. Architecture-Based Specification-Time Software Evolution. Ph.D. Dissertation, University of California, Irvine, December 1998. Google ScholarDigital Library
- 18.N. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor. Using Object-Oriented Typing to Support Architectural Design in the C2 Style. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE4), San Francisco, CA, October 1996. Google ScholarDigital Library
- 19.N. Medvidovic, P. Oreizy, and R. N. Taylor. Reuse of Off-the- Shelf Components in CZStyle Architectures. In Proceedings of the 1997 Symposium on Software Reusability (SSR'97) and Proceedings of the 1997 International Conference on Software Engineering (ICSE'97), Boston, MA, May 1997. Google ScholarDigital Library
- 20.N. Medvidovic and D. S. Rosenblum. Domains of Concern in Software Architectures and Architecture Descrintion Languages. In Proceedings of the USENIX Conference on Domain-Spectfic Languages, Santa Barbara, CA, October 1997. Google ScholarDigital Library
- 21.N. Medvidovic, D. S. Rosenblum, and R. N. Taylor. A Iype Theory for Software Architectures. Technical Report, UCI- ICS-98-14, Department of Information and Computer Science, University of California, Irvine, April 1998.Google Scholar
- 22.N. Medvidovic and R. N. Taylor. Exploiting Architectural Style to Develop a Family of Applications. IEE Proceedings Software Engineering, October-December 1997.Google ScholarCross Ref
- 23.N. Medvidovic and R. N. Taylor. A Framework for Classifying and Comparing Architecture Description Languages. In Proceedings of the Sixth European Software Engineering Conference together with the Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 1997. Google ScholarDigital Library
- 24.N. Medvidovic, R. N. Taylor, and E. J. Whitehead, Jr. Formal Modeling of Software Architectures at Multiple Levels of Abstraction. In Proceedings of the California Software Symposium, Los Angeles, CA, April 1996.Google Scholar
- 25.B. Meyer. Applying "Design by Contract." IEEE Computer, October 1992. Google ScholarDigital Library
- 26.R. Monroe. Armani Language Reference Manual, version 0.1. Private communication, March 1998.Google Scholar
- 27.M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineering, April 1995. Google ScholarDigital Library
- 28.0. Nierstrasz. Regular Types for Active Objects. In Proceedinas of the ACM Conference on Obiect-Oriented ProgrammFng:"Systems, Languages, and Applications (OOPSS '93), Washington, D.C., USA, October 1993. Google ScholarDigital Library
- 29.P. Oreizy, N. Medvidovic, and R. N. Taylor. Architectnre- Based Runtime Software Evolution. In Proceedings of the 20th International Conference on Software Engineering (ICSE'98), Kyoto, Japan, April 1998. Google ScholarDigital Library
- 30.S. Owre, S. Rajan, J. M. Rushby, N. Shankar, and M. K. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T. A. Henzinger, eds., Computer-Aided Verification (CAV '96), volume 1102 of Lecture Notes in Computer Science, July/August 1996, Springer-Verlag. Google ScholarDigital Library
- 31.J. Palsberg and M. I. Schwartzbach. Three Discussions on Object-Oriented Typing. ACM SIGPLAN OOPS Messenger, vol. 3, num. 2, 1992. Google ScholarDigital Library
- 32.H. Partsch and R. Steinbruggen. Program Transformation Systems. ACM Computing Surveys, September 1983. Google ScholarDigital Library
- 33.D. E. Perry. The Inscape Environment. In Proceedings of the 1 I th International Conference on Software Engineering, Pittsburgh, PA, May 1989. Google ScholarDigital Library
- 34.D. S. Rosenblum. A Practical Approach to Programming with Assertions. IEEE Transactions on SofhYare Engineering, January 1995. Google ScholarDigital Library
- 35.J. Schumann and B. Fischer. NORAHAMMR: Making Deduction-Based Software Component Retrieval Practical. In Proceedings of Automated Software Engineering (ASE-97), Lake Tahoe, November 1997. Google ScholarDigital Library
- 36.M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, April 1995. Google ScholarDigital Library
- 37.R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, Jr., J. E. Robbins, K. A. Nies, P. Oreizy, and D. L. Dubrow. A Component- and Message-Based Architectural Style for GUI Software. IEEE Transactions on SofnYare Engineering, June 1996. Google ScholarDigital Library
- 38.S. Vestal. MetaH Programmer's Manual, Version 1.09. Technical Report, Honeywell Technology Center, April 1996.Google Scholar
- 39.D. M. Yellin and R. E. Strom. Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. In Proceedings of QOPSLA'94, Portland, OR, USA, October 1994. Google ScholarDigital Library
- 40.A. M. Zaremski and J. M. Wing. Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology, October 1997. Google ScholarDigital Library
Index Terms
- A language and environment for architecture-based software development and evolution
Recommendations
Rethinking Software Testing Based on Software Architecture
SKG '11: Proceedings of the 2011 Seventh International Conference on Semantics, Knowledge and GridsSoftware architectural design is of vital importance to software system, which not only embodies in software development, but also effectively guides software testing. However, a wide gap exists between the technologies for software testing and the ...
Domains of concern in software architectures and architecture description languages
DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) have been proposed as domain-specific languages for the domain of software ...
Understanding the architecture of software systems
WPC '96: Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)The first activity performed by maintenance programmers when approaching the task of understanding a system is often trying to discover its high level structure, that is identifying its subsystems and their relations: in few words, the software ...
Comments