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.

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: 14 Oct 2014 12:50
URI: http://eprints.brighton.ac.uk/id/eprint/2874

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year