Behavioral specification of GOF design patterns with LOTOS

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 408-415

  Saeki, M ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Algebra; Collaboration; Collaborative software; Computer science; Concrete; History; Object oriented modeling; Programming; Software design; Software quality

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCRETES; GROUPWARE; HISTORY; MATHEMATICAL PROGRAMMING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

BEHAVIORAL DESCRIPTIONS; BEHAVIORAL SPECIFICATION; COLLABORATION; COLLABORATIVE SOFTWARES; FORMAL DESCRIPTION TECHNIQUES; LANGUAGE OF TEMPORAL ORDERING SPECIFICATIONS; OBJECT ORIENTED MODEL; SOFTWARE QUALITY;

OBJECT ORIENTED PROGRAMMING;

EID: 77953769903     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896727     Document Type: Conference Paper

References (10)

1. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture : A System of Patterns. Wiley, 1996.
2. P. Eijk. The Design of a Simulator Tool. In The Formal Description Technique LOTOS. North-Holland, 1989.
3. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns : Elements of Reusable OO Software. Addison-Wesley, 1995.
4. R. Helm, I. Holland, and D. Gangopadhyay. Contracts : Specifying Behavioral Compositions in Object-Oriented Systems. In Proc. of ECOOP/OOPSLA '90, pages 169-180, 1990.
5. ISO 8807. Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of obsevational behaviour, 1989.
6. P. Iverardi, C. Mangano, F. Rosso, and S. Balsamo. Performance Evaluation of a Software Architecture: Case Study. In Proc. of Ninth International Workshop on Software Specification and Design, pages 116-125, 1998.
7. A. Knapp. A Formal Semantics for UML Interactions. In Lecture Notes in Comupter Science (Proc. of UML'99), volume 1723, pages 116-130, 1999.
8. T. Kobayashi and M. Saeki. Pattern-Based Software Evolution. In Lecture Notes in Computer Science (ECOOP'99 Workshop), volume 1743, page 77, 1999.
9. J. Magee, J. Kramer, and D. Giannakopoulou. Software Architecture Directed Behaviour Analysis. In Proc. of Ninth International Workshop on Software Specification and Design, pages 144-145, 1998.
10. W. Pree. Design Patterns for Object-Oriented Software Development. Addison-Wesley, 1995.