DesignByContractInJava
From SPA Wiki
Describe DesignByContractInJava here
The session outputs are:
- a copy of the slides for the presentation part of the session
- a copy of the slides containing the exercises
- a draft chapter describing one way of writing contracts on the map interface.
They are available from