Programy według contractpp.sf.net

Programowanie kontraktów w języku C++ (aka Projektowanie według umowy). Obsługiwane wszystkie funkcje Eiffla: Opcjonalna kompilacja kontraktu; Konfigurowalne działanie na niepowodzenie; Podwykonawstwo; Stare i wartości wynikó