A formal model of object-oriented design and GoF design patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 223-241

  Flores, Andres ^a   Moore, Richard ^b   Reynoso, Luis ^a  

^a UNIVERSIDAD NACIONAL DEL COMAHUE   (Argentina)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN PATTERNS; DESIGN STRUCTURE; DIFFERENT DOMAINS; FORMAL MODEL; GRAPHICAL NOTATION; NATURAL LANGUAGES; OBJECT ORIENTED DESIGN METHODS; OBJECT-ORIENTED DESIGN; OBJECT ORIENTED DESIGN;

DESIGN; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

FORMAL METHODS;

EID: 77953783519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. Brad Appleton. Patterns and Software: Essential Concepts and Terminology. http://www.enteract.com/-bradapp, November 1997.
2. Gabriela Aranda and Richard Moore. GoF Creational Patterns: A Formal Specification. Technical Report 224, UNU/IIST, P.O. Box 3058, Macau, December 2000.
3. Kent Beck, James O. Coplien, Ron Crocker, Lutz Dominick, Gerard Meszaros, Frances Paulisch, and John Vlissides. Industrial Experience with Design Patterns. Technical report, First Class Software, AT&T, Motorola Inc, Siemens AG, Bell Northern Research, Siemens AG, and IBM Research. http://www1.bell-labs.com/user/cope/Patterns/ICSE96/icse.html.
4. Alejandra Cechich and Richard Moore. A Formal Specification of GoF Design Patterns. Technical Report 151, UNU/IIST, P.O.Box 3058, Macau, January 1999.
5. S. Alejandra Cechich and Richard Moore. A Formal Specification of GoF Design Patterns. In Proceedings of the Asia Pacific Software Engineering Conference: APSEC'99, Takamatsu, Japan, December 1999.
6. A. Eden, J. Gil, Y. Hirshfeld, and A. Yehudai. Towards a Mathematical Foundation for Design Patterns. http://www.math.tau.ac.il/-eden/bibliography. html.
7. A. Eden, Y. Hirshfeld, and A. Yehudai. LePUS - A Declarative Pattern Specification Language. http://www.math.tau.ac.il/-eden/bibliography.html.
8. Andres Flores and Richard Moore. GoF Structural Patterns: A Formal Specification. Technical Report 207, UNU/IIST, P.O. Box 3058, Macau, August 2000.
9. Andres Flores, Luis Reynoso, and Richard Moore. A Formal Model of Object- Oriented Design and GoF Design Patterns. Technical Report 200, UNU/IIST, P.O. Box 3058, Macau, July 2000.
10. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
11. Ralph Johnson. Design Patterns in the Standard Java Libraries. In Proceedings of the Asia Pacific Software Engineering Conference: Keynote Materials, Tutorial Notes, pages 66-101, 1999.
12. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
13. Tommi Mikkonen. Formalizing Design Patterns. In Proceedings of the International Conference on Software Engineering ICSE'98, pages 115-124. IEEE Computer Society Press, 1998.
14. The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, 1992.
15. Luis Reynoso and Richard Moore. GoF Behavioural Patterns: A Formal Specification. Technical Report 201, UNU/IIST, P.O. Box 3058, Macau, May 2000.
16. J. Rumbaugh. Object-Oriented Modeling and Design. Prentice Hall, 1991.
17. John Vlissides. Pluggable Factory, Part I. C++ Report, November-December 1998. http://www.research.ibm.com/people/v/vlis/pubs.html.