|
| Emne | Designkontrakter og ansvarsfordeling I objekt-orienteret programmering distribuerer vi egenskaber og funktionalitet ud på forskellige objekter. Når objekter interagerer med hinanden har vi en (ofte løs) forestilling om, hvordan objekterne skal tage hensyn til hinanden, for at opfylde hinandens forventninger og krav. I denne lektion vil vi formalisere dette. Vi vil tale om operationers ansvar i objekter, og ansvarsfordelingen mellem objekter. Vi vil også blive i stand til at beskrive, hvornår et objekt er sundt, nemlig via klasseinvarianter. Vi slutter af med at se på hvordan ansvarsfordeling forholder sig til nedarvning. |
| Dato | Torsdag 8.11.2001 |
| Forelæsning | Klokken 10.15 - 12.00 i lokale B3-104 |
| Litteratur | Artiklen Applying Design by Contract af Betrand Meyer, IEEE Computer, October 1992. Artiklen distribueres fra hhv. OMSWING og D3 sekretariatet. |
| Øvelser | Øvelserne til denne lektion afholdes tirsdag 13.11.2001 klokken 08.15 - 10.00 Opgave 9.3 (Klasseinvariant i DoubleLinkable) Alle opgaver fra kapitel 7 i noterne samlet på én side |
| Referencer | Forelæsningsnoter |
| Kurt Nørmark Genereret: Mandag 17. December 2001, 10:36:36 | Dat1/Inf1 hjemmeside Forelæsningsnoter | JDK API | JDK Tools | Java Tutorial Java på Sun | Kurt Nørmark |