Research output per year
Research output per year
Search results
-
2004
Mapping OCL-constrained models to JML specifications
Hamie, A., 2004, Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003. Grandview, Texas, USA: Society for design and process scienceResearch output: Chapter in Book/Conference proceeding with ISSN or ISBN › Chapter › peer-review
-
Translating the object constraint language into the Java modelling language
Hamie, A., 2004, Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, 2004. New York, USA: ACM Press, p. 1531-1535 5 p.Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Chapter › peer-review