Architecture, design, implementation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 149-159

  Eden, Amnon H ^a,b   Kazman, Rick ^c,d  

^a Center for Inquiry   (United States)

^b UNIVERSITY OF ESSEX   (United Kingdom)

^c CARNEGIE MELLON UNIVERSITY   (United States)

^d UNIVERSITY OF HAWAII   (United States)

Author keywords

Software architecture; Software design theory

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; DATA STRUCTURES; SYSTEMS ANALYSIS;

ARCHITECTURAL STYLES; COARSE STRATA; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN THEORY; SOFTWARE SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 0038601740     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201196     Document Type: Conference Paper

References (33)

1. J. Barwise, ed., (1977). Handbook of Mathematical Logic. Amsterdam: North-Holland Publishing Co.
2. L. Bass, P. Clements, R. Kazman (1998). Software Architecture in Practice. Reading, MA: Addison Wesley Longman, Inc.
3. G. Booch, I. Jacobson, J. Rumbaugh (1999). The Unified Modeling Language Reference Manual. Reading, MA: Addison-Wesley.
4. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal (1996). Pattern-Oriented Software Architecture - A System of Patterns. New York, NY: Wiley and Sons.
5. J. Coplien, D. Schmidt, eds. (1995). Pattern Languages of Program Design. Reading, MA: Addison-Wesley.
6. T. R. Dean, J. R. Cordy, "A Syntactic Theory of Software Architecture." IEEE Trans. on Software Engineering 21 (4), Apr. 1995, pp. 302-313.
7. F. DeRemer, H. H. Kron. "Programming-in-the-large versus programming-in-the-small." IEEE Trans. in Software Engineering 2 (2), June 1976, pp. 80-86.
8. A. H. Eden. "Formal Specification of Object-Oriented Design." International Conference on Multidisciplinary Design in Engineering CSME-MDE 2001, Nov. 21-22, 2001, Montreal, Canada.
9. A. H. Eden. "A Theory of Object-Oriented Design." Information Systems Frontiers 4 (4), Nov.-Dec. 2002. Kluwer Academic Publishers.
10. A. H. Eden. "LePUS: A Visual Formalism for Object-Oriented Architectures." The 6th World Conference on Integrated Design and Process Technology, Pasadena, CA, June 26-30, 2002.
11. A. H. Eden, Y. Hirshfeld. "Principles in Formal Specification of Object Oriented Architectures." CASCON 2001, Nov. 5-8, 2001, Toronto, Canada.
12. A. H. Eden, R. Kazman (2003). "On the Definitions of Architecture, Design, and Implementation". Technical report CSM-377, January 2003, Department of Computer Science, University of Essex, United Kingdom.
13. P. van Emde Boas (1997). "Resistance Is Futile; Formal Linguistic Observations on Design Patterns." Research Report no. CT-19997-03, The Institute for Logic, Language, and Computation, Universiteit van Amsterdam.
14. E. Gamma, R. Helm, R. Johnson, J. Vlissides (1994). Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley.
15. D. Garlan, R. Monroe, D. Wile (1997). "ACME: An Architectural Description Interchange Language." Proceedings of CASCON'97, Toronto, Ontario.
16. D. Garlan, M. Shaw (1993). "An Introduction to Software Architecture." In V. Ambriola, G. Tortora, eds., Advances in Software Engineering and Knowledge Engineering, Vol. 2, pp. 1-39. New Jersey: World Scientific Publishing Company.
17. R. Helm, I. M. Holland, D. Gangopadhyay. "Contracts: Specifying Behavioral Compositions in Object-Oriented Systems." Proceedings OPPSLA/ECOOP, Oct. 21-25, 1990, Ottawa, Canada.
18. R. Kazman. "A New Approach to Designing and Analyzing Object-Oriented Software Architecture." Guest talk, Conference On Object-Oriented Programming Systems, Languages and Applications - OOPSLA, Nov. 1-5, 1999, Denver, CO.
19. A. Lauder, S. Kent. "Precise Visual Specification of Design Patterns." Proceedings of the 12th ECOOP, Brussels, Belgium, July 1998. LNCS 1445. Berlin: Springer-Verlag.
20. K. Lieberherr, I. Holland, A. Riel (1988). "Object-oriented programming: an objective sense of style." Conference proceedings OOPLA '88, San Diego, CA, pp. 323-334.
21. D. C. Luckham et al. "Specification and Analysis of System Architecture Using Rapide." IEEE Trans. on Software Engineering 21 (4), Apr. 1995, pp. 336-355.
22. T. Mikkonen (1998). "Formalizing Design Patterns." Proceedings of the International Conference on Software Engineering, April 19-25, 1998, pp. 115-124. Kyoto, Japan.
23. R. T. Monroe, A. Kompanek, R. Melton, D. Garlan. "Architectural Styles, Design Patterns, and Objects." IEEE Software 14(1), Jan. 1997, pp. 43-52.
24. D. E. Perry, A. L. Wolf (1992). "Foundation for the Study of Software Architecture." ACM SIGSOFT Software Engineering Notes 17 (4), pp. 40-52.
25. Popkin Software (2000). System Architect 2001. New York, NY: McGraw-Hill.
26. R. Prieto-Diaz, J. Neighbors. "Module Interconnection Languages." J. of Systems and Software 6 (4), 1986, pp. 307-334.
27. The Unambiguous UML Consortium page: www.cs.york.ac.uk/puml/
28. T. Quatrani (1999). Visual Modelling with Rational Rose 2000 and UML, Revised. Reading, MA: Addison Wesley Longman, Inc.
29. D. C. Schmidt, M. Stal, H. Rohnert, F. Buschmann (2000). Pattern-Oriented Software Architecture, Vol. 2: Patterns for Concurrent and Networked Objects. New York, NY: John Wiley & Sons, Ltd.
30. SEI (2002). Carnegie Mellon's Software Engineering Institute. http://www.sei.cmu.edu.
31. M. Shaw, D. Garlan (1996). Software Architecture: Perspectives on an Emerging Discipline. Upper Saddle River, NJ: Prentice Hall.
32. J. M. Spivey (1989). The Z Notation: A Reference Manual. New Jersey: Prentice Hall.
33. A. Taivalsaari (1996). "On the Notion of Inheritance." ACM Computing Surveys 28 (3), pp. 438-479.