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.

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 Oct 31 23:50:34 2014 GMT.