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
Depositing User: Helen Webb
Date Deposited: 21 Aug 2009
Last Modified: 18 Jun 2010 11:33
URI: http://eprints.brighton.ac.uk/id/eprint/2874

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year