7008823797

Programowanie kontraktowe I

Kontrakty a testy jednostkowe I Kontrakty a Java I Podsumowanie I Demonstracja narzędzi I

Spis treści

Q Programowanie kontraktowe o Geneza o Założenia

o Kontrakty w języku Eiffel

9 Kontrakty a tworzenie oprogramowania o Definiowanie specyfikacji o Weryfikacja poprawności aplikacji Q Kontrakty a testy jednostkowe

o Wykorzystanie założeń kontraktów Q Kontrakty a Java o Asercje

o Narzędzia wspierające programowanie kontraktowe w Javie

O Podsumowanie Q Demonstracja narzędzi