Giving "the quality" a name: Precise specification of design patterns - A second look at the manuscripts

JOOP - Journal of Object-Oriented Programming

Volumn 11, Issue 3, 1998, Pages 5-11

  Eden, Amnon H ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347362694     PISSN: 08968438     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. Gamma, E., et al. Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA, 1995.
2. Buschmann, F., et al. Pattern-Oriented Software Architecture - A System of Patterns, Wiley and Sons, New York, 1996.
3. Martin, R., D. Riehle, and F. Buschmann, Eds. Pattern Languages of Program Design 3, Addison-Wesley, Reading, MA, 1997.
4. Zimmer, W. "Relationships Between Design Patterns," in Pattern Languages of Program Design, J. Coplien, D. C. Schmidt, Eds., Addison-Wesley, Reading, MA, 1995.
5. Buschmann, F., and R. Meunier. "A System of Patterns," in Pattern Languages of Program Design, J. Coplien and D. C. Schmidt, Eds., Addison-Wesley, Reading, MA, 1995.
6. Buschmann, F., et al., pp. 16-19.
7. Vlissides, J. "Multicast," C++ Report, 9(8):37-41, Sept. 97.
8. Vlissides, J. "Multicast-Observer = Typed Message," C++ Report, 9(10):48-52, Nov./Dec. 97.
9. Eden, A. H., Y. Hirshfeld, and A. Yehudai. "Multicast-Observer ≠ Typed Message," Submitted: C++ Report, 1998, www.math.tau.ac.il/∼eden/multicast_ observer_typed_message.doc.zip.
10. Bosch, J. "Language Support for Design Patterns," Proceedings TOOLS Europe '96, 1996.
11. Alencar, P. S. C., D. D. Cowan, and C. J. P. Lucena. "A Formal Approach to Architectural Design Patterns," in Proceedings of the 3rd International Symposium of Formal Methods Europe, pp. 576-594, 1996.
12. Helm, R., I. M. Holland, D. Gangopadhyay. "Contracts: Specifying Compositions in Object-Oriented Systems," Proceedings of OOPSLA, SIGPLAN Notices, 25(10), 1990.
13. Hedin, G. "Language Support for Design Patterns using Attribute Extensions," in Object-Oriented Technology - ECOOP'97 Workshop Reader, J. Bosch and S. Mitchell, Eds., Lecture Notes in Computer Science no. 1357, Springer-Verlag, Berlin, 1997.
14. Pal, P. P. "Law-Governed Support for Realizing Design Patterns" in Proceedings of TOOLS USA 17, 1995.
15. Klarlund, N., J. Koistinen, and M. I. Schwartzbach. "Formal Design Constraints," Proceedings of OOPSLA '96, ACM SIGPlan Notices, 31(10), ACM Press, New York, 1996.
16. Budinsky, F. J., et al. "Automatic Code Generation from Design Patterns," Object Technology, 35(2), 1996.
17. Quintessoft Engineering Inc. C++ Code Navigator 1.1, 1997.
18. Florijn, G., M. Meijers, and P. van Winsen. "Tool Support in Design Patterns," Proceedings of the 11th European Conference on Object Oriented Programming - ECOOP, Lecture Notes in Computer Science no. 1241, M. Askit, S. Matsuoka, Eds., Springer-Verlag, Berlin, Germany, 1997.
19. Eden, A. H., J. Gil, and A. Yehudai. "Precise Specification and Automatic Application of Design Patterns," Proceedings of the 12th IEEE International Automated Software Engineering Conference - ASE, IEEE Press, New York, 1997.
20. Eden, A. H., and A. Yehudai. "Patterns of the Agenda," in Object-Oriented Technology - ECOOP'97 Workshop Reader, J. Bosch and S. Mitchell, Eds., Lecture Notes in Computer Science no. 1357, Springer-Verlag, Berlin, 1997.
21. Alexander, C., et al. A Pattern Language. Oxford University Press, New York, 1977;
22. Alexander, C. The Timeless Way of Building. Oxford University Press, New York, 1979.
23. Eden, A. H., Y. Hirshfeld, and A. Yehudai. "LePUS - A Declarative Pattern Specification Language," Technical Report 326/98, Department of Computer Science, Tel Aviv University.
24. Rumbaugh, J., et al. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ, 1991.