Design by Contract

2. Design by Contract - návrh podle kontraktu
3. DBC - jak dosáhnout