Programas por contractpp.sf.net

Programación de contratos de C++ (también conocido como Diseño por contrato). Todas las características de Eiffel compatibles: Compilación de contratos opcional; Acción personalizable en caso de error; Subcontratación; Valore