Responsibilities and rewards: Specifying design patterns

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 666-675

  Soundarajan, Neelam ^a   Hallstrom, Jason O ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN PATTERNS; QUALITY SYSTEMS; RELEVANT PATTERNS; RELIABLE SYSTEMS;

INFORMATION ANALYSIS; PARAMETER ESTIMATION; PROBLEM SOLVING; QUALITY CONTROL; SERVERS; STRUCTURAL DESIGN;

SYSTEMS ANALYSIS;

EID: 4544366213     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. K. Beck and R. Johnson. Patterns generate architectures. In Proceedings of the Eighth ECOOP, pages 139-149, 1994.
2. F. Buschmann, R. Meunier, H. Rohnert, F'. Sommerlad, and M. Stal. A system of patterns. Wiley, 1996.
3. J. Dong. UML extensions for design pattern compositions. In C. Mingins, editor, Proc. of TOOLS, in Special Issue of J. of Object Technology, vol. 1, no. 3, pages 149-161, 2002.
4. A. Eden, J. Gil, Y. Hirshfeld, and A. Yehudai. Toward a mathematical foundation for design patterns. Technical Report 004, Tel Aviv University, 1999.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable OO Software. Addison-Wesley, 1995.
6. J. Hallstrom and N. Soundarajan. Reasoning about design patterns - a case study, submitted to Int. Conf. on Software Reuse, 2004.
7. R. Helm, I. Holland, and D. Gangopadhyay, Contracts: Specifying behavioral compositions in object-oriented systems. In OOPSLA-ECOOP, pages 169-180, 1990.
8. R. Johnson. Components, frameworks, patterns. In ACM SIGSOFT Symposium on Software Reusability, pages 10-17, 1997.
9. G. Leavens and W. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32:705-778, 1995.
10. B. Liskov and J. Wing. A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Sys., 16:1811-1841, 1994.
11. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1997.
12. T. Mikkonen. Formalizing design patterns. In Proceedings of 20th ICSE, pages 115-124. IEEE Computer Society Press, 1998.
13. T. Reenskaug. Working with objects. Prentice-Hall, 1996.
14. D. Riehle. Composite design patterns. In Proc. of OOPSLA, pages 218-228. ACM, 1997.
15. D. Riehle and H. Zullighoven. Understanding and using patterns in software development. Theory and Practice of Object Systems, 2(1):3-13, 1996.