Specification support to the synergy of compound design patterns

IASTED International Multi-Conference on Applied Informatics

Volumn 21, Issue , 2003, Pages 973-979

  Mak, Jeffrey Ka Hing ^a   Choy, Clifford Sze Tsan ^a   Lun, Daniel P K ^a  

^a HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

Design patterns; LePUS; Precise specification

Indexed keywords

AUTOMATION; COMMUNICATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PATTERN RECOGNITION; SYNCHRONIZATION;

DESIGN PATTERNS; LEPUS; PRECISE SPECIFICATION;

OBJECT ORIENTED PROGRAMMING;

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

References (17)

1. E.Gamma, Richard Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software. (Professional Computing Series. Addison-Wesley, Reading, MA, 1995).
2. th Asia-Pacific Software Engineering Conference, 2000, 408-415.
3. R. Martin, D. Riehle, F. Buschmann (editors). Pattern Languages of Program Design. Vol3. (Addison-Wesley, 1998).
4. J. Vlissides. Composite Design Patterns (They Aren't What You Think). C++ Report, June 1998.
5. A. H. Eden. Precise Specification of Design Patterns and Tool Support in Their Application. PhD thesis (University of Tel Aviv, 1999).
6. G. Aranda and R. Moore. Formally Modelling Compound Design Patterns. UNU/IIST Report No. 225. December, 2000.
7. D. Riehle. Composite Design Patterns. Proc. 1997 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97), ACM Press, 1997, 218-228.
8. G. M. Hoydalsvik and J. H. Holm. Dynamic Modeling in OORAM. Proc. OOPSLA'93 In Workshop at 8th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications, September, 1993.
9. D. Riehle and T. Gross. Role Model Based Framework Design and Integration. Proc. 1998 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'98), ACM Press, 1998, 117-133.
10. J. Barwise (editor). Handbook of Mathematical Logic. 1976. pp. 4-56.
11. Doug Lea. Christopher Alexander: An Introduction for Object-Oriented Designers. The Patterns Handbook: Techniques, Strategies, and Applications (Cambridge University Press, 1998).
12. th Annual International conference on Computer Software and Applications, 2001, 574-579.
13. th International Conference on Technology of Object-oriented Languages and Systems, 2000, 273-282.
14. C. Alexander, S. Ishikawa, M. Silverstein. A Pattern Language: Towns, Buildings, Construction, (Oxford University Press, N.Y, 1977).
15. th Asia Pacific Software Engineering Conference, 2000, 364-371.
16. J. Vlissides. The Compound Without a Name. Java Report, November 2000.
17. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. Proc. of the 12th International Conference on Software Engineering. IEEE CS Press, 1990, 63-71.