7008823805

Programowanie Kontraktowe ■

Kontrakty a testy jednostkowe Definiowanie specyfikacji

Kontrakty a Java Weryfikacja poprawności aplikacji

Podsumowanie H Demonstracja narzędzi I

Definiowanie specyfikacji

Formalne zdefiniowanie założeń działania aplikacji

Specyfikacja programowa ubrana w kontrakty

o What does it expect? o What does it guarantee? o What does it maintain?

Problem?

Wymaga wiedzy programisty o kontekście działania klasy