Formal specification of design patterns: A case study

Jason O. Hallstrom, Neelam Soundarajan. Formal specification of design patterns: A case study. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 362-367, IASTED/ACTA Press, 2004.

@inproceedings{HallstromS04,
  title = {Formal specification of design patterns: A case study},
  author = {Jason O. Hallstrom and Neelam Soundarajan},
  year = {2004},
  tags = {case study, design},
  researchr = {https://researchr.org/publication/HallstromS04},
  cites = {0},
  citedby = {0},
  pages = {362-367},
  booktitle = {Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA},
  editor = {M. H. Hamza},
  publisher = {IASTED/ACTA Press},
  isbn = {0-88986-425-X},
}