Vorlesung/ Modul: Modellierung und Spezifikation

Aktuelles

  • Die Ergebnisse der Klausur vom 04.08. hängen am schwarzen Brett im Flur des Lehrstuhls aus (Johann-von-Neumann-Haus, Haus IV, erste Etage).
  • Die Klausureinsicht findet am 15.08. von 09:00 bis 11:00 Uhr im Raum 4.410 (Johann-von-Neumann-Haus) statt.

Zur Vorlesung

Zeit: Do 15-17, Fr 9-11
Ort: RUD 26, 0'110
Dozent: Prof. Dr. Wolfgang Reisig
Inhalt der VL: siehe Modulbeschreibung
Prüfungstermin: 04.08.2017, 09:00 Uhr; Ort: RUD 25, 3.001

Modulbeschreibung

Inhalt: Nach erfolgreichem Besuch dieses Moduls haben die Studierenden einen Überblick über die aktuell wichtigsten in der Praxis verwendeten Spezifikationsmethoden und Modellierungstechniken beim Softwareentwurf. Die Studierenden beherrschen einige Softwarewerkzeuge, die die Nutzung dieser Methoden in der Praxis unterstützen.
ggf. Voraussetzungen für die Teilnahme am Modul: N/A
Lehrveranstaltungen: VL + UE
SWS: 3 + 1
SP und Beschreibung der Arbeitsleistung, auf deren Grundlage die SP vergeben werden: 5 SP
Voraussetzung für die Vergabe von Studienpunkten: Voraussetzung zur Prüfung ist das Bestehen der Übung.
Prüfung (Prüfungsform, Umfang/Dauer, SP): schriftliche Prüfung (90 Minuten)
Dauer des Moduls: 1 Semester

Vorlesungstermine

Termin findet die VL statt?
Do, 20.04. ja
Fr, 21.04. ja
Do, 27.04. ja
Fr, 28.04. ja
Do, 04.05. ja
Fr, 05.05. ja
Do, 11.05. ja
Fr, 12.05. KEINE VL
Do, 18.05. ja
Fr, 19.05. ja
Do, 25.05. KEINE VL
Fr, 26.05. ja
Do, 01.06. ja
Fr, 02.06. ja
Do, 08.06. ja
Fr, 09.06. ja
Do, 15.06. ja
Fr, 16.06. ja
Do, 22.06. ja
Fr, 23.06. ja
Do, 29.06. ja
Fr, 30.06. ja
Do, 06.07. ja
Fr, 07.07. ja
Do, 13.07. KEINE VL
Fr, 14.07. KEINE VL
Do, 20.07. KEINE VL
Fr, 21.07. KEINE VL

Foliensätze

1. Grundlegendes
1. Organisatorisches: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Die richtige Stimmung: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Zentrale Aufgabe der Softwaretechnik: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Modelle und Modellierungsmethoden: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Industrieller Software-Entwurf: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. BPMN
1. Modellieren mit BPMN: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Ausdrucksmittel: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Stilfragen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Weitere Beispiele: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Mengen, Funktionen, etc.
1. Mengen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. n-Tupel: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Funktionen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Spezielle Funktionen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Operationen auf Funktionen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Transitionssysteme
1. Diskrete Modellierung von Verhalten: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Abstraktion: Transitionssystem: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Petrinetze
1. Grundideen und Beispiele: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Grundlegenden Konzepte: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Speziell: Elementare Systemnetze: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3.1 Einschub: Formalismus: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Sequentielle und verteilte Abläufe: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4.1. Einschub: Crosstalk in der Rechnerkommunikation und das Pebble-Game 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Szenarien: 1 Folie/Seite PDF, 6 Folien/Seite PDF
6. Zusätzliche Ausdrucksmittel: 1 Folie/Seite PDF, 6 Folien/Seite PDF
7. Das Syntheseproblem: 1 Folie/Seite PDF, 6 Folien/Seite PDF
8. Komposition von Netzen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
9. Fallen und Co-Fallen elementarer Systemnetze: 1 Folie/Seite PDF, 6 Folien/Seite PDF
10. Platzinvarianten: 1 Folie/Seite PDF, 6 Folien/Seite PDF
11. Kombination von Fallen, Platzinvarianten und kanonischen Ungleichungen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
6. Statecharts
1. Einleitung: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Basiskonzepte: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Fallstudie: 1. Teil: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Weitere Konzepte: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Fallstudie: 2. Teil: 1 Folie/Seite PDF, 6 Folien/Seite PDF
7. Simulation und Äquivalenz
1. Simulation: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Bisimulation: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Weitere Kongruenzen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Temporale Logik: 1 Folie/Seite PDF, 6 Folien/Seite PDF
8. Prozessalgebren
1. Prozesse: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. CCS: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Weitere Beispiele: 1 Folie/Seite PDF, 6 Folien/Seite PDF
9. MSC/LSC
1. Message Sequence Charts: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Live Sequence Charts: 1 Folie/Seite PDF, 6 Folien/Seite PDF
10. Strukturen, Signaturen, Logik
0. Wiederholung: Mengen und Funktionen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
1. Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Signaturen und Sigma-Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Mehr zu Strukturen und Signaturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Relationalstrukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Logik für Sigma-Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
11. Z
1. Typen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2. Schemata: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3. Ableitung neuer Schemata: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4. Komposition: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5. Fallstudien: 1 Folie/Seite PDF, 6 Folien/Seite PDF
12. CASL
CASL: 1 Folie/Seite PDF, 6 Folien/Seite PDF
13. TLA
Motivation: 1 Folie/Seite PDF, 6 Folien/Seite PDF
Grundbegriffe: 1 Folie/Seite PDF, 6 Folien/Seite PDF

Literatur