Automatic verification of Java design patterns

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 324-327

  Blewitt, Alex ^a   Bundy, Alan ^a   Stark, Ian ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING;

AUTOMATED PROOF TOOLS; AUTOMATIC VERIFICATION; BUILDING COMPLEXES; DESCRIPTION LANGUAGES; DESIGN PATTERNS; JAVA SOURCE CODES; OBJECT ORIENTED; OBJECT-ORIENTED PROGRAMMING LANGUAGES; PATTERN DESCRIPTION;

SPECIFICATIONS;

EID: 3042522471     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989821     Document Type: Conference Paper

References (6)

1. F. Buschmann. Pattern-oriented Software Architecture: A System of Patterns. Wiley, April 1996.
2. M. Cinnéde and P. Nixon. A methodoloy for the automated introduction of design patterns. In Proceedings of the International Conference on Software Maintenance, Oxford, September 1999.
3. A. Eden. LePUS - A Declarative Pattern Specification Language. PhD thesis, Department of Computer Science, Tel Aviv University, 1998. http://www.cs.concordia.ca/~faculty/eden/lepus/.
4. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of reusable object-oriented software. Professional Computing Series. Addison Wesley, 1994. ISBN 0-201-63361-2.
5. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison Wesley, 1996. http://java.sun.com/docs/books/jls/html/index.html.
6. J. Vlissides. Pattern Hatching: Design Patterns Applied. Software Pattern Series. Addison Wesley, July 1998.