A Theory of Object-Oriented Design

Information Systems Frontiers

Volumn 4, Issue 4, 2002, Pages 379-391

  Eden, Amnon H ^a  

^a Center for Inquiry   (United States)

Author keywords

Design patterns; Formal foundations; Object oriented programming; Software architecture; Software design theory

Indexed keywords

EID: 0036409288     PISSN: 13873326     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020835709566     Document Type: Article

References (52)

1. Abowd G, Allen R, Garlan D. Using style to understand descriptions of software architecture. In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, December 1993.
2. Agerbo E, Cornils A. How to preserve the benefits of design patterns. In: Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, 18-22, Oct., Vancouver, Canada, 1998:134-143.
3. Alencar P, Cowan D, Dong J, Lucena C. A pattern-based approach to structural design composition. IEEE 23rd Annual International Computer Software and Application Conference, 1999:160-165.
4. Alexander C. The Timeless Way of Building. New York: Oxford University Press, 1979.
5. Alexander C, Ishikawa S, Silverstein M, Jacobson M, Fixdahl-King I, Angel S. A Pattern Language. New York: Oxford University Press, 1977.
6. Allen R, Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 1997;6(3):213-249.
7. Booch G. Object Oriented Analysis and Design with Applications, 2nd edit. Benjamin/Cummings, 1994.
8. Booch G, Jacobson I, Rumbaugh J. The Unified Modeling Language Reference Manual. Reading, MA: Addison-Wesley, 1999.
9. Bosch J. Relations as object model components. Journal of Programming Languages, 1996;4(1):39-61.
10. Brown K. Design Reverse-Engineering and Automated Design Pattern Detection in Smalltalk M. Sc. Thesis, University of Illinois, 1996
11. Budinsky FJ, Finnie MA, Vlissides. JM, Yu PS. Automatic code generation from design patterns. IBM Systems Journal, 1996 35(2):151-171.
12. Cargill T. Localized ownership: Managing dynamic objects in C++. In: Vlissides JM, Coplien JO, Kerth NL, eds. Pattern Languages in Program Design 2. Reading, MA: Addison-Wesley, 1996.
13. Chiba S. A metaobject protocol for C++. In: Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, 15-19, Oct., Austin, USA 1995:285-299.
14. Coplien J, Schmidt D, eds. Pattern Languages of Program Design. Reading, MA: Addison-Wesley, 1995.
15. Craig I. The Interpretation of Object-Oriented Programming Languages. Berlin: Springer-Verlag, 1999.
16. Dean TR, Cordy JR. A syntactic theory of software architecture. IEEE Transactions on Software Engineering, 1995; 21(4).
17. Eden AH. Giving 'The quality' a name. Journal of Object Oriented Programming 1998;11(3):5-11.
18. Eden AH. Precise specification of design patterns and tool support in their application. Ph.D. Dissentation, Department of Computer Science, Tel Aviv University, 2000.
19. Eden AH, Gil J, Yehudai A. Precise specification and automatic application of design patterns. In: Proceedings of the Twelve IEEE International Automated Software Engineering Conference (ASE 1997), 3-5, Nov, Lake Tahoe, Nevada, Los Alamos: IEEE Computer Society Press, 1997:143-152.
20. Eden AH, Hirshfeld Y, Yehudai A. Multicast-Observer ≠ typed message." C++ Report, 1998;10(9):33-39.
21. Eden AH, Hirshfeld Y, Yehudai A. Towards a mathematical foundation for design patterns. Technical Report 1999-004, Department of Information Technology, Uppsala University, 1999.
22. Firesmith DG, Graham I, Henderson-Sellers B. Open Modeling Language (Olm) Reference Manual. Cambridge University Press, 1998.
23. Florijn G, Meijers M, van Winsen P. Tool support in design patterns. In: Askit M, Matsuoka S, eds. Proceedings of the 11th European Conference on Object Oriented Programming - ECOOP 97, Lecture Notes in Computer Science, vol. 1241. Berlin: Springer-Verlag, 1997.
24. Gamma E, Helm R, Johonson R, Vlissides J. Design Patterns: Elements of Reusable Object Oriented Software. Reading, MA: Addison-Wesley, 1994.
25. Gibbs WW. Software's chronic crisis. Scientific American 1994;85-95.
26. ™ Language Specification, 2nd edn. Reading, MA: Addison Wesley Longman, 2000.
27. Gurevich Y. Evolving algebras. In: Pehrson B, Simon I, eds. IFIP 13th World Computer Congress 1994, vol. I: Technology and Foundations, 1994:423-427.
28. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 1987;8(3):231-274.
29. Helm R, Holland IM, Gangopadhyay D. Contracts: Specifying behavioral compositions in object-oriented systems. In: Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, 21-25, Oct., Ottawa, Canada, 1990:169-180.
30. Hoare CAR. Communicating Sequential Processes. New Jersey: Prentice-Hall, 1985.
31. Huth MR, Ryan MD. Logic in Computer Science: Modeling and Reasoning About Systems. Cambridge, UK: Cambridge University Press, 2000.
32. Keller RK, Schauer R, Robitaille S, Page P. Pattern-based reverse engineering of design components. In: Proceedings of the Twenty-First International Conference on Software Engineering, Los Angeles, CA: IEEE, 1999:226-235.
33. Kim JJ, Benner KM. Implementation patterns for the observer pattern. In: Vlissides J, Coplien JO, Kerth NL, eds. Pattern Languages in Program Design 2. Reading, MA:Addison-Wesley, 1996.
34. Kramer C, Prechelt L. Design recovery by automated search for structural design patterns in object-oriented software. In: Proceedings of the Working Conference on Reverse Engineering. 8-10, Nov., Monterey, CA, 1996:208-215.
35. Lamport L. The temporal logic of actions. ACM Transactions on Programming Languages and Systems 1994;16(3):872-923.
36. Lauder A, Kent S. Precise visual specification of design patterns. In: Proceedings of the 12th European Conference on Object Oriented Programming, Brussels, Belgium, Lecture Notes in Computer Science, vol. 1445, Jul, Eric, ed. Berlin: Springer-Verlag, 1998.
37. Martin R, Riehle D, Buschmann F, eds. Pattern Languages of Program Design 3. Reading, MA: Addison-Wesley, 1997.
38. Medvidovic N, Taylor RN. A framework for classifying and comparing architecture description languages. In: Proceedings of the Sixth European Software Engineering Conference, with Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, 22-25, September, Zurich, Switzerland, 1997:60-76.
39. Mikkonen T. Formalizing design patterns. In: Proceedings of the International Conference on Software Engineering, 19-25, April, Kyoto, Japan, 1998:115-124.
40. O'Cinnéide M, Nixon P. A methodology for the automated introduction of design patterns. In: Proceedings of the IEEE International Conference on Software Maintenance, 30 August-3 Sept., 1999.
41. Odenthal G, Quibeldey-Cirkel K. Using patterns for design and documentation. In: Proceedings of the European Conference of Object Oriented Programming, 1997, Lecture Notes in Computer Science. Berlin: Springer, 1997.
42. Pal PP. Law-governed support for realizing design patterns. In: Proceedings of 17th Conference on Technology of Object-Oriented Languages and Systems (TOOLS 17), Englewood Cliffs, NJ: Prentice Hall, 1995.
43. Perry DE, Wolf AL. Foundation for the study of software architecture. ACM SIGSOFT Software Engineering Notes 1992;17(4):40-52.
44. Petri CA. Communications with automata. Technical Report RADC-TR-65-377, Applied Data Research, Princeton, NJ, 1962.
45. Popper K. Conjectures and Refutations. London: Rutledge, 1969.
46. Quintessoft Engineering, Inc. C++ Code Navigator 1.1. http://www.quintessoft.com, 1997.
47. Rohnert H. The proxy design pattern revisited. In: Vlissides J, Coplien JO, Kerth NL, eds. Pattern Languages in Program Design 2. Reading, MA: Addison-Wesley, 1996.
48. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall, 1991.
49. Schmidt D, Stal M, Rohnert H, Buschmann F. Pattern-Oriented Software Architecture, Vol. 2: Patterns for Concurrent and Networked Objects. New York: John Wiley & Sons, 2000.
50. Spivey JM. The Z Notation: A Reference Manual. New Jersey: Prentice-Hall, 1989.
51. Vlissides J. Multicast. C++ Report, vol. 9, no. 8. New York, NY: SIGS Publications, 1997.
52. Vlissides JM, Coplien JO, Kerth NL. Pattern Languages in Program Design 2. Reading, MA: Addison-Wesley, 1996.