7008823794

Programowanie kontraktowe Kontrakty a testy jednostkowe Kontrakty a Java Podsumowanie Demonstracja narzędzi	Asercje Narzędzia wspierające programowanie kontraktowe w Javie
Asercje - Problemy

o Wymagają pisania asercji w każdej metodzie o Ograniczona możliwość kontroli o Mogą zostać wyłączone (domyślnie wyłączone)

Mimo wszystko stanowią dobry punkt wyjścia do implementacji kontraktów w Javie.