Programmes par contractpp.sf.net

Programmation contractuelle C++ (aka Design by Contract). Toutes les fonctionnalités Eiffel prises en charge : compilation de contrats optionnels; Action personnalisable en cas d’échec; Sous-traitance; Valeurs anciennes et de