Here is a nice tutorial on JML (design by contract for Java) as a set of
slides - http://secure.ucd.ie/documents/tutorials/slides/1_intro_jml.pdf
other tutorials available from the page:
http://secure.ucd.ie/documents/tutorials/fmco05.html
- thomas
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Java coding exercise on the openEHR Implementation Tutorial and Software Workshop | 0 | 1 | 15 August 2007 | |
| ANNC: pure Java ADL parser | 3 | 4 | 25 August 2005 | |
| A useful Java 5 book | 0 | 0 | 18 June 2005 | |
| java-implementation part2 | 0 | 0 | 17 January 2007 | |
| Java ADL Parser API Doc | 0 | 2 | 17 August 2005 | |
| About the Reference Implementation: Java (archive) category | 0 | 2 | 22 April 2026 | |
| Documentation moved to Wiki | 0 | 1 | 14 December 2007 | |
| Sample Code | 1 | 0 | 29 September 2007 | |
| ADL Workbench tutorial videos available | 0 | 2 | 2 August 2012 | |
| ref_impl_eiffel [154] Slight adjustments to ADL workbench what's new presentation. | 0 | 2 | 11 January 2007 |