Programmes par traction.sf.net

Un cadre de conception par contrat (DBC) pour Java 1.5 qui utilise des annotations pour déclarer les conditions préalables, les postconditions, etc. Contrairement à d’autres cadres de conception par contrat, ne nécessite aucu