Design by Contract
Etsiskelin tänään Javaan DbC-kirjastoa, joka tarjoaisi vastaavat ominaisuudet kuin Spec#. Optimaalisesti tämä tarkoittaisi siis kääntäjää, joka tarkistaisi pre-, post- ja invariant-säännöt metodeista ja muuttujista.
Lue lisää 1 kommentti Heinäkuu 11th, 2007