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