Ü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. |