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 aucune précompilation, ce qui rend le code portable à travers les systèmes de construction, les IDE et les plates-formes
historique de la version
- Version N/A posté sur 2011-08-12
Plusieurs correctifs et mises à jour - Version N/A posté sur 2011-08-12
Détails du programme
- Catégorie: Applications graphiques > Autres
- Éditeur: traction.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows