Design by Contract

4. Design by Contract - návrh podle kontraktu

5. DBC - jak dosáhnout

6. DBC - nástroj jass

7. Postup při práci s jass

8. Odkazy