Designkontrakter og ansvarsfordeling
- slide 17 : 31
Generelle kontraktaspekter: klasseinvarianter