Navigation auf uzh.ch

Suche

Department of Informatics Requirements Engineering Research Group

Übungen

News

17.2.2005 Die Übungbesprechungen finden in der Regel alle zwei Wochen am Montag im Raum 27-H-25 um 12:15 statt.
4.4.2005 Erste Übung online / Fragen zur ersten Übung bitte direkt an Silvio Meier oder Katja Gräfenhain.
12.4.2005 Update der Web-Seite. Hinweis: Bitte beachten Sie unbedingt unsere Bedingungen zur Abgabe der Uebungen. Diese sind verbindlich, ausserdem erleichtern Sie uns damit die Arbeit und tragen so zur besseren Qualität der Übung bei! Vielen Dank!
12.4.2005 Hinweis zur ersten Übungsbesprechung am 18.04.2005: Die Übungsbesprechung wird aus administrativen Gründen trotz Sechseläuten um 12:15 im Raum 27-H-25 stattfinden.
15.4.2005 Interessante Links zum Stoff der Vorlesung eingefügt.
18.4.2005 Punkteliste wurde aktualisiert.
2.5.2005 Punkteliste wurde aktualisiert. / Uebung 3 wurde veröffentlicht.
5.5.2005 ACHTUNG Uebungsvorbesprechung Ü3: Am Montag, 9.05.2005 findet auf Grund der Nachfrage eine Uebungsvorbesprechung / Hilfestellung zur Uebung 3 um 12:15 im Raum 27-H-25 statt. Es wird von Ihnen erwartet, dass Sie vorbereitet mit Ihren Fragen zur Uebung 3 zu dieser Vorbesprechung erscheinen.
5.5.2005 Tabelle mit interessanten Links wurde aktualisiert: Einige interessante Artikel zu den Themen Design by Contract, Assertions, Schleifeninvarianten.
9.5.2005 Errata Liste für den Quellcode Uebung 3 publiziert.
11.5.2005 Zusätzliche Übungsaufgaben zur Rekursion wurden veröffentlicht.
11.5.2005 ACHTUNG: Ab sofort findet zu jeder Übung eine Vorbesprechung statt, wo Sie Fragen zur aktuellen Übung stellen können. Termine: jeweils Montag vor der Abgabe um 12:15 im Raum 27-H-25Hinweis zur Übungsvorbesprechung am 23.05.2005: Die Vorbesprechung der Übung 4 findet im Anschluss an die Übungsbesprechung 3 statt (ca 13:15 bis ca 14:00)   
16.5.2005 Uebung 4 wurde veröffentlicht. Uebungsvorbesprechung am 23.5.2005 zusammen mit der Besprechung der Uebung 3.
19.5.2005 Punkteliste wurde aktualisiert. Uebungen können (sofern der Bedarf da ist) bereits noch diese Woche (Donnerstag bei Nancy Merlo-Schett und Freitag bei Silvio Meier) abgeholt werden.
29.5.2005 Uebung 5 wurde ausgegeben. Tabelle mit interessanten Links wurde aktualisiert.
30.5.2005 SPL-Grammatik für Uebung 5 Aufgabe 1 nachträglich veröffentlicht.
30.5.2005 Punkteliste wurde aktualisiert.
1.6.2005 Die Vorbesprechung zur Uebung 5 findet wie angekündigt am 6.6.2005 im Raum 27-H-25 um 12:15 Uhr statt. Bitte erscheinen Sie mit entsprechend vorbereitet (mit Fragen).
6.6.2005 Tabelle mit interessanten Links wurde aktualisiert: Einige interessante Artikel zum Thema Abstrakter Syntax-Baum, parsing und Sprachen.
13.6.2005 Punkteliste wurde aktualisiert. Uebung 6 wurde veröffentlicht.
27.6.2005 Punkteliste wurde aktualisiert.

Übungen

Übungsbesprechung jeweils Montags, 12:15 im Raum 27-H-25

Betreuung: Silvio Meier / Nancy Merlo-Schett / Katja Gräfenhain

  • Während des Semesters werden sechs Übungen ausgegeben.
  • Den Studierenden steht jeweils eine Woche zur Bearbeitung dieser Übungen zur Verfügung.
  • Für richtige Lösungen werden Übungspunkte vergeben.
  • Insgesamt können durch das richtige Lösen der Übungen 120 Punkte erreicht werden. Diese gehen anteilmässig in die Bewertung der Gesamtleistung ein (siehe unter dem Punkt "Erwerb des Leistungsnachweises" auf der Hauptseite dieser Vorlesung).
  • Die Aufgaben sind individuell zu lösen. Gruppenarbeiten sind nicht zulässig. Abschreiben von Übungen führt zu einer Bewertung mit Null Punkten für die entsprechenden Übungsteile.
  • Die Abgabe der gelösten Übungen durch die Studierenden erfolgt zu Beginn der Vorlesung (08.15 Uhr MEZ) am jeweiligen Abgabetermin.
  • Alternativ können Übungen auch per E-Mail als PDF-, PostScript- oder MS Word-Datei abgegeben werden. Bei elektronischer Abgabe muss das Abgabedokument spätestens am jeweiligen Abgabetermin um 8.00 Uhr (MEZ) morgens eingetroffen sein.
  • Wer durch Krankheit oder andere zwingende Abwesenheiten an der Abgabe einer Übung gehindert ist, muss dies mit Belegen beweisen, andernfalls gilt die betreffende Übung als nicht bestanden.
  • Die in den Übungen erreichten Punkte werden auf dieser Seite bekanntgegeben (siehe unten).
  • Lösungsansätze der jeweiligen Übungen werden nur bei Bekanntgabe der Resultate (eine Woche nach dem Abgabetermin) in der Übungsstunde präsentiert. Daneben werden keine zusätzlichen Musterlösungen bereitgestellt.
  • Die Bekanntgabe der Resultate und Lösungsansätze der einzelnen Übungen erfolgt in einer eigenen Übungsstunde. Diese findet nach Absprache mit den Studenten statt (Termine siehe unten).

Übungsunterlagen/-besprechung

Achtung: Bitte alle abgegebenen Übungen leserlich mit Name und Matrikelnummer beschriften!
Ausserdem:

  • Bitte nur eine Datei abgeben (.pdf / .zip / .doc),
  • Die Datei muss ein Format entweder als PDF oder als MS-Word lesbar sein,
  • den Dateinamen folgendermassen benennen: Nachname_Vorname_Uebung_Uebungsnummer.*
  • und darauf achten, dass bei den zu druckenden Dokumenten A4 als Papierformat eingestellt ist!
  • Die Abgabe der gelösten Übungen durch die Studierenden erfolgt zu Beginn der Vorlesung (08.15 Uhr MEZ) am jeweiligen Abgabetermin. Alternativ können Übungen auch per E-Mail als PDF-, PostScript- oder MS Word-Datei abgegeben werden. Bei elektronischer Abgabe muss das Abgabedokument spätestens am jeweiligen Abgabetermin um 8.00 Uhr (MEZ) morgens eingetroffen sein.
  • Bei Abgabe per E-Mail bitte nur an folgende Adresse: katjag AT ifi.unizh.ch
Übung Ausgabe
hier im Web 		Abgabe per
Email oder in Vorlesung 		Vorbesprechung im 27-H-25, 12:15 Besprechung
im 27-H-25, 12:15
Uebung 1 (Systematisches Programmieren), Lesen Sie den Artikel von Dijkstra. 04.04.2005 13.04.2005   18.04.2005
Uebung 2 (Systematisches Programmieren, Ablaufkonstrukte und Rekursion)
 18.04.2005 27.04.2005   02.05.2005
Uebung 3 (Vertraege, Vererbung, Zusammenarbeit), Code.pdf, Code.zip, Neu: Errata-Liste: Gewisse Vertragsteile haben kleine Fehler
 02.05.2005 11.05.2005 09.05.2005 23.05.2005
Uebung 4 (Programmverifikation, Model Checking und temporale Logik). Eine Visio 2003 Vorlage für die Erstellung des Graphen in Aufgabe 2 finden Sie hier. 16.05.2005 25.05.2005 23.05.2005 30.05.2005
Uebung 5 (Statische Programmanalyse, Abstrakter Syntax-Baum, Program-Dependency-Graph, Backward- und Forward-Program-Slicing), verwenden Sie für die 1. Aufgabe die SPL-Grammatik. 30.05.2005 08.06.2005 06.06.2005 13.06.2005
Uebung 6 (Testen, Zielorientiertes Messen) 13.06.2005 22.06.2005 20.06.2005 27.06.2005

Interessante Links

Hier finden Sie Links (Diese Linksammlung wird während des Semesters laufend erweitert) mit interessanten, zusätzlichen Informationen zum behandelten Stoff für interesssierte Studierende:

Link Beschreibung
david.tribble.com/text/goto.html Eine Diskussion und Retrospektive des Inhalts von Dijkstras Artikel "Go To Statement Considered Harmful" und von strukturierter Programmierung... Der Text erklärt Dijkstras Artikel realtiv gut.
c2.com/cgi/wiki Verschiedene Aussagen und Überlegungen zu Goto Statements.
www.ssw.uni-linz.ac.at/Misc/ JavaBuch/Folien/04.Schleifen.pdf Präsentation von Prof. H. Mössenböck über Schleifen. Folie 5 handelt die Verfikation von Schleifen ab.
c2.com/cgi/wiki Ein Zusammenfassung und verschiedene Statements über Design By Contract
www.javaworld.com/javaworld/jw-02-2001/jw-0216-cooltools.html Ein Artikel über iContract, einem Werkzeug für die Vertragsformulierung in Java Programmen. Das Werkzeug wird leider nicht weiter entwickelt.
www.artima.com/intv/contracts.html Ein Artikel über Design by Contract, entstanden aus einem Gespräch zwischen Bill Venners und Bertrand Meyer.
java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html Ein Artikel über die Verwendung von Assertions in Java zur Umsetzung von Design by Contract.
portal.acm.org/ft_gateway.cfm und www-2.cs.cmu.edu/afs/cs/project/calder/www/fmdp.html Wissenschaftliche Artikel unter anderem über Substitutionsvererbung/Subtyping.
c2.com/cgi/wiki Eine Beschreibung und Diskussion über die Arten von Vererbung
www.uni-koeln.de/REDUCE/3.6/doc/scope/node18.html Formale Beschreibung wie SET-USE, USE-SET Beziehungen definiert sind (werden im Papier DEF-SET bzw. SET-DEF Beziehungen genannt).
www.ncst.ernet.in/education/apgdst/ppfac/slides/datadep.ppt Anderes Papier über das finden von Datenabhängigkeiten. Formale Beschreibung wie SET-USE, USE-SET Beziehungen definiert sind (werden im Papier DEF-SET bzw. SET-DEF Beziehungen genannt).
www.cs.dartmouth.edu/~cs68/04w/notes-01-16.html und dict.die.net/abstract%20syntax und c2.com/cgi/wiki und dict.die.net/abstract%20syntax%20tree Weitere Informationen zum Thema Abstrakter Syntax Baum, Abstrakte Grammatik und Parsing von Quellcode. Der erste Artikel ist lesenswert.