Programas por contractpp.sf.net

Programação de Contratos C++ (também conhecida como Design por Contrato). Todos os recursos Eiffel suportados: Compilação de contrato opcional; Ação personalizável sobre falha; Subcontratação; Valores antigos e de resultados;