Mapping OCL-constrained models to JML specifications

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapter

Original languageEnglish
Title of host publicationProceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003
Place of PublicationGrandview, Texas, USA
PublisherSociety for design and process science
Publication statusPublished - 2004

Cite this

Hamie, A. (2004). Mapping OCL-constrained models to JML specifications. In Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003 Society for design and process science.