The 'Gang of Four' Companion

Formal specification of design patterns in LePUS3 and Class-Z

Technical Report CSM-472, ISSN 1744-8050

Print this document

Amnon H Eden, Jonathan Nicholson, Epameinondas Gasparis
Department of Computer Science, University of Essex, United Kingdom

31 December 2007

See also:

Download:

Abstract

This document demonstrates how the informal specifications of the design patterns the 'Gang of Four' seminal catalogue [Gamma et al 1995] can be specified formally using the LePUS3 and Class-Z Design Description Languages.

Table of Contents

Frequently-Asked Questions