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 1 13. November 2003
Ausgabe: 3. November 2003
Aufgabe 1. Softwareg¨ute
Untersuchen Sie die Fallbeispiele der Softwarekatastrophen(Beginn des Kapitels 1 der Materialsammlung) auf Nichteinhalten der in Ab- schnitt 1.1 diskutierten Qualit¨atsmerkmale. Entscheiden Sie sich jeweils f¨ur einen Hauptkritikpunkt und nennen und begr¨unden Sie ihn.
Aufgabe 2. funktionale Dekomposition
Suchen Sie im Internet im Bereich des Software Engineerings nach dem Begrifffunktionale Dekomposition. Erkl¨aren Sie mit eigenen Worten.
Aufgabe 3. totale und partielle Funktionen
Erl¨autern Sie am Beispiel der Funktion x → 1.0x die Begriffe totale und partielle Funktion.
Aufgabe 4. Nachbedingung DEQUEUE
Beantworten Sie die Aufgabe aus Abschnitt 1.3 mit Hilfe des Konkate- nationsoperators.
1