Design by Contract

2. Design by Contract - návrh podle kontraktu

3. DBC - jak dosáhnout

4. DBC - nástroj jass

5. Postup při práci s jass

6. Odkazy