Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications
Publication year: 1998
We discuss the prospects of precise specification of design patterns. We analyze the manuscript of the GoF patterns catalogue, and prove that the essence of many design patterns can be preserved through the translation to some formal language.