Contract++

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.8/5 - ‎10 ‎Głosów

O Contract++

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ów; Warianty blokowe, warianty pętli. http://contractpp.sourceforge.net