Mapping OCL-constrained models to JML specifications

Tools

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