Mapping OCL-constrained models to JML specifications

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

Full text not available from this repository.


Item Type:Chapter in book
Subjects:G000 Computing and Mathematical Sciences
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics
ID Code:2874
Deposited By:Helen Webb
Deposited On:21 Aug 2009
Last Modified:18 Jun 2010 12:33

Repository Staff Only: item control page