Items where Author is "Hamie, A."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

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, Grandview, Texas, USA. ISBN 1090-9389

Hamie, A. (2004) Translating the object constraint language into the Java modelling language In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, 2004. ACM Press, New York, USA, pp. 1531-1535. ISBN 1581138121

Hamie, A. (2002) Towards verifying Java realizations of OCL-constrained design models using JML In: Proceedings of 6th IASTED International COnference on Software Engineering and Applications (SEA'2002), Nov 2002, Cambridge, MA, USA.

This list was generated on Fri Aug 22 14:46:22 2014 BST.