Forelæsningsnoter i Objekt-orienteret Programmering Designkontrakter og ansvarsfordeling
Assertions i objekt-orienterede programmeringssprog
Eiffel er et objekt-orienterede programmeringssprog som understøtter assertions. Den primære inspirationskilde
til materialet i dette afsnit er således Bertrand Meyer, som har lavet Eiffel
Idéerne i denne lektion understøttes direkte i det objekt-orienterede programmeringssprog Eiffel
Eiffel er designet af Bertrand Meyer, som også er forfatter til artiklen 'Applying Design by Contract'
Assertions og kontrakter i andre objekt-orienterede sprog
Simulere ideerne ved brug af boolske funktioner
Understøttes ved anvendelse af en preprocessor
Angives ved brug af kommentarer
I Java er der desværre ingen understøttelse af kontrakter og assertions
Der findes dog flere forsøg på at påklistre assertions og kontrakter til Java via præ-processorer