BERGISCHE UNIVERSIT ¨ AT WUPPERTAL
GAUSS-STRASSE 20 42119 WUPPERTAL TELEFAX (0202) 439-2901 TELEFON (0202) 439-0 WWW www.uni-wuppertal.de
Fachbereich C
MATHEMATIK UND NATURWISSENSCHAFTEN Fachgruppe Mathematik und Informatik
Programming by Contract
SS 2007 – ¨ Ubungsblatt 2 Ausgabe: 19. April 2007
Abgabe: bis sp¨atestens 26. April 2007 in der Vorlesung
Prof. Dr. Hans-J¨urgen Buhl Praktische Informatik / Numerik
E-Mail: Hans-Juergen.Buhl@math.uni-wuppertal.de WWW: http://www.math.uni-wuppertal.de/∼buhl
Aufgabe 1. Explizite Vor-/Nachbedingungen und Invarianten
Welche Anforderungen/Prinzipien auf Seite 17 und 18 der Material- sammlung beinflußt die schriftliche Niederlegung von Vor- und Nach- bedingungen sowie von Invarianten positiv?
Aufgabe 2. partielle Funktionen
Was versteht man in der Informatik unter einer partiellen Funktion?
(vgl. pop() und top() auf Seite 19 der Materialsammlung.)
Aufgabe 3. CHECK-Level
Lesen Sie Abschnitt 4.14.1 im Nana-Manual
http://www.math.uni-wuppertal.de/∼buhl/teach/exercises/PbC0506/nana.pdf und diskutieren Sie die verschiedenen CHECK-Level.
In welcher Phase der Software-Entwicklung ist welcher Level ange- bracht?
Aufgabe 4. Formale Methoden Informieren Sie sich in
http://foldoc.org/index.cgi?query=formal+methods&action=Search sowie
http://en.wikipedia.org/wiki/Formal methods
¨
uber das Gebiet der formalen Methoden.
Was sind die Unterschiede der dort genannten drei Level? Wie sch¨atzen Sie die Akzeptanz dieser Level in Software-Firmen ein?
1
Aufgabe 5. UML Object Constraints
Welche Zwecke verfolgt die Object Constraint Language?
http://en.wikipedia.org/wiki/Object Constraint Language Auf welchem Level kann sie als formale Methode eingeordnet werden?
2