BERGISCHE UNIVERSIT ¨AT GESAMTHOCHSCHULE WUPPERTAL
GAUSS-STRASSE 20 42097 WUPPERTAL (Korrespondenzanschrift) 42119 WUPPERTAL (Lieferanschrift) TELEX 8 592 262 bughw TELEFAX (0202) 439-2901 TELEFON (0202) 439-1
Fachbereich 7
MATHEMATIK
Prof. Dr. Hans-J ¨urgen Buhl Praktische Informatik / Numerik
e-mail: Juergen.Buhl@math.uni-wuppertal.de
Programming by Contract
WS 2003/2004 – ¨ Ubungsblatt 10 29. Januar 2004
Ausgabe: 19. Januar 2004
Aufgabe 1. VDM-Module
Versuchen Sie das VDM-Modul Reversi, das in der Vorlesung verteilt wurde, in seinem Aufbau zu verstehen und in eigenen Worten umgangs- sprachlich zu beschreiben.
Welche Typen sind zum Beispiel von extern sicht- und benutzbar? ...
Aufgabe 2. Methodenklassifizierung und Contract
Klassifizieren Sie die Klasse rationalNumberin
http://www.math.uni-wuppertal.de/∼buhl/Inf1/ratnum3.cc gem¨aß der Einteilung basic queries, invariant, derived queries, con- structors, modificators und erg¨anzen Sie sie um geeignete Contract- Zusicherungen. Testen Sie.
Aufgabe 3. Methodenklassifizierung und Contract - Forts.
Bearbeiten Sie analog die Klasse quadGleichung aus:
http://www.math.uni-wuppertal.de/∼buhl/Inf1/quadGei2.cc
Aufgabe 4. Methodenklassifizierung und Contract - Forts.
Bearbeiten Sie analog die Klassen Datum und Sparbuch aus:
http://www.math.uni-wuppertal.de/∼buhl/Inf1/Sparbuch.cc
1