Vorlesung/ Modul: Modellierung und Spezifikation

Aktuelles

Noten der Modulabschlussprüfung vom 21.07.2011

Klausureinsicht: Fr., 29.07.2011, 09-11 Uhr, Raum 4.410, RUD25

Zur Vorlesung

Zeit:	Mo 9-11, Mi 9-11
Ort:	RUD 26, 1'303 (beide Termine)
Dozent:	Prof. Dr. Wolfgang Reisig
Inhalt der VL:	siehe Modulbeschreibung
Prüfungstermin:	21.7.2011, 9-12 Uhr, ESZ 0'110

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 + PR
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 des Praktikums.
Prüfung (Prüfungsform, Umfang/Dauer, SP):	schriftliche Prüfung (90 Minuten)
Häufigkeit des Angebots:	jedes Semester
Dauer des Moduls:	1 Semester

Praktikum

	Zeit	Raum	Leiter/Tutor
Praktikum	Mo/Mi/Fr 11-13, 14-tgl.	RUD 25, 3.212 (Linux-Pool)	Robert Prüfer

Weitere Informationen zum Praktikum

Material

Foliensätze

1.	Organisation, Inhaltsübersicht
	1. Organisatorisches: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Zur Einstimmung: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	3. Modelle und Modellierungsmethoden: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	4. Industrieller Sofwareentwurf: 1 Folie/Seite PDF, 6 Folien/Seite PDF
2.	UML
	1. Grundideen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Klassendiagramme: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	3. Aktivitätsdiagramme: 1 Folie/Seite PDF, 6 Folien/Seite PDF
3.	Syntax und Semantik
	1. Mengen. Relationen, Funktionen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	3. Signaturen und Sigma-Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	4. Eigenschaften von Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	5. Logik für Strukturen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	6. Eigenschaften, Gleichungen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
4.	Petrinetze
	1. Grundideen und Beispiele: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Die grundlegenden Konzepte: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	3. Elementare Systemnetze: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	4. Sequentielle und verteilte Abläufe: 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. Konsens im Netzwerk: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	9. Der Echoalgorithmus: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	10. Zustandseigenschaften: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	11. Platzinvarianten: 1 Folie/Seite PDF, 6 Folien/Seite PDF
5.	MSC, LSC
	1. Message Sequence Charts: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Grundidee und Rolle von Live Sequence Charts: 1 Folie/Seite PDF, 6 Folien/Seite PDF
6.	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
7.	Prozesse, Simulation, Äquivalenzen
	1. Prozesse: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Simulation: 1 Folie/Seite PDF, 6 Folien/Seite PDF
	2. Äquivalenzen: 1 Folie/Seite PDF, 6 Folien/Seite PDF
8.	Zusammenfassung: 1 Folie/Seite PDF, 6 Folien/Seite PDF