Modellbasierte Softwareentwicklung (WS 2010/2011)
Neuigkeiten
07.03.2011 Die Ergebnisse der Klausur sind nun im Lehrveranstaltungen-Schaukasten der AG-Schäfer ausgehängt. Eine Veröffentlichung auf der Webseite wird es nicht geben. Die Klausureinsicht ist diesen Freitag von 13-14 Uhr im E3.327.
- 04.03.2011 Wir werden prüfen, ob es hinsichtlich des Datenschutzes in Ordnung ist, die Notenliste mit dem üblichen Passwort zu verschlüsseln und dann online zu stellen.
- 04.03.2011 Die Klausur ist korrigiert, jedoch steht der Notenschlüssel noch nicht fest. Sobald dies der Fall ist, werden Sie an dieser Stelle darüber informiert. Anschließend werden die Noten im Schaukasten der AG Schäfer veröffentlicht und der Termin für die Klausureinsicht bekanntgegeben.
Organisatorisches
- Prüfung:
- Die Vorlesung wird mit einer Klausur abgeschlossen. Hierbei wird es nur einen Termin geben.
- Für die Klausur können in den Übungen Bonuspunkte erworben werden. Weitere Informationen hierzu finden Sie im Abschnitt "Übungen".
- Im Fall eines Nichtbestehens der Klausur wird eine mündliche Nachprüfung angeboten.
- In der Klausur sind keine Hilfsmittel erlaubt.
- Die Vorlesung wird mit einer Klausur abgeschlossen. Hierbei wird es nur einen Termin geben.
- Veranstaltungsnr. L.079.05506
- Ansprechpartner: Stefan Dziwok, Büro E3.145
Termine
- Klausur:
- Die Klausur findet am 16.02.2011 im G-Hörsaal statt.
- Der G-Hörsaal ist von 10 - 12 Uhr reserviert.
- Die Klausur beginnt um 10:30 Uhr und endet um 11:45 Uhr und dauert daher 75 Minuten.
- Es gibt keinen zweiten Klausurtermin, sondern nur eine mündliche Nachprüfung, für diejenigen, die die Klausur nicht bestanden haben.
- Vorlesung:
- Die erste Vorlesung findet am 15.10.2010 statt.
- Die letzte Vorlesung findet am 04.02.2011 statt.
- Es wird 15 Vorlesungstermine geben.
- Termin: Fr 11:00 - 12:30 Uhr, Raum: P 5.2.01
- Übungen:
- Der Übungsbetrieb beginnt am 29.10.2010
- Es wird 12 Übungstermine geben.
- Die letzte Übung findet am 04.02.2011 statt.
- Die Termine für die Übungen:
- Übung A: Fr 09.45 - 10.30 Uhr, Raum: P 6.2.01 (Tutor: Kathrin Bröker)
- Übung B: Fr 13.15 - 14.00 Uhr, Raum: P 6.2.01 (Tutor: Stefan Dziwok)
- Sprechstunde Prof. Schäfer: Di 14.00 - 15.00 Uhr, Raum: E3.359
Informationen zum Modul
- Veranstaltungsnummer: L.079.05506
- Modul: II.1.1 Softwaretechnik und Informationssysteme
Ziele
Die Studierenden sollen grundlegende Verfahren zur Konstruktion großer Softwaresysteme kennenlernen sowie gängige praxisrelevante Tools praktisch erproben (z.B. Together, UPPAAL oder SPIN), die Vor- und Nachteile formaler und informaler Spezifikationstechniken erfahren und die Notwendigkeit von Design und abstrakter Repräsentation (Spezifikation) zur Verbesserung der Softwarequalität begreifen. Insbesondere wird auf das im Umfeld der UML postulierte Paradigma des "Model-Driven Development" (oder auch Model-Driven Architecture) eingegangen.
Teil I: Spezifikationstechniken für Analyse und Design
1. Strukturorientierte TechnikenDatenstrukturen: Design Pattern nach Gamma
Architekturen: Stile, Muster und Beschreibungssprachen
2. Operationale Techniken
Statecharts: Syntax und Semantik
Graphgrammatiken: Syntax und Semantik
3. Deskriptive Techniken: Z
Teil II Codegenerierung
4. Codegenerierung für Klassendiagaramme, Statecharts, GraphgrammatikenTeil III Validation und Verifikation
5. Testen (Whitebox, Blackbox, Regressionsanalysen)6. Einsatz und Grundlagen von Model Checking
Referenzen
- Gamma, Helm, Vlissides, Johnson: Design Patterns, Addison-Wesley Das Buch über Design Patterns.
- Freeman: Entwurfsmuster von Kopf bis Fuß, O'Reilly Ein sehr beispielorientiertes Buch über Entwurfsmuster. Mehr auf Lernen und Verstehen angelegt als Gamma, dafür mit weniger Mustern.
- Chang et al.: Programmiererfahrung vs. Einsetzen von Entwurfsmustern Helfen Entwurfsmuster beim Erweitern von Software wirklich weiter? Ein Experiment.
- Spivey: The Z Reference Manual
Das Standardwerk über Z.
- Albert Zündorf: Rigorous Object Oriented Software Development (Habilitation)
- T. Fischer, J. Niere, L. Torunski, and A. Zündorf: Story Diagrams: A new Graph Rewrite Language based on the Unified Modeling Language Einführung in Story-Diagramme
- Harel, Kugler, Ehrig (ed.): The Rhapsody Semantics of Statecharts, Springer-Verlag, 2004 , 3147 , 325-354 Eine umfassende Definition der Semantik von Statecharts.
- C. Ghezzi et al.: Fundamentals of Software Engineering, Prentice Hall Ein gutes Begleitbuch, das fast alle Aspekte der Vorlesung abdeckt.
- G. Berard et.al.: System and Software Verification, Springer Ein sehr gutes Einführungsbuch zu Model Checking mit vielen Beispielen und einer Übersicht über verschiedene Model Checking-Werkzeuge.
- E. Clarke et al.: Model Checking, MIT Press Das erste zusammenfassende Buch über Model Checking. Bis heute das Standardwerk.
- Der Inhalt der folgenden Links ist von uns nicht überprüft. Sie zählen nicht zu den Referenzen dieser Vorlesung, sondern sind Links, die von Studenten dieser Veranstaltung entdeckt wurden und hiermit den anderen Kommilitonen zur Verfügung gestellt werden.