|
|
| Emne |
Kontrakter og Assertions
Assertions og kontrakter. Design by Contract. Pre- og postbetingelser.
Klasseinvarianter. Kontrakter i forhold til nedarvning.
Kontrakter og test.
|
| Dato |
Mandag 9.11.2009 |
| Forelæsning |
Klokken 14.30 - 16.15 i Auditoriet |
| Litteratur |
Supplerende artikel (en længere udgave af ovenstående):
Applying Design by Contract
Supplerende materiale:
Video om Design by Contract
|
| Referencer |
|
Kurt Nørmark
Genereret:
Fredag
12. Februar 2010,
09:23:45
Programmeret af Kurt Nørmark med brug af LAML teknologi |
Dat1 SW3 |