Software Engineering für spezielle Anwendungsgebiete: Entwurf und Implementierung paralleler Programme
Aktuelles
- 05.12.2014: Termin Einsicht der Nachholklausur: Die Klausureinsicht findet am Donnerstag, den 11.12.2014, um 14-15 Uhr im Raum F006, Oettingenstr. 67 statt.
- 11.11.2014: Termin schriftliche Nachholklausur: Die Nachholklausur findet am 28.11.2014 von 13-16 Uhr im Raum BU101, Oettingenstr. 67 statt. Die Bearbeitungszeit beträgt (wie bei der regulären Klausur) 120 Minuten. Die Bearbeitungszeit beginnt um 13:15 Uhr, seien Sie aber bitte schon um 13:00 Uhr im Raum. Es sind keinerlei Hilfsmittel zugelassen. Der Abmeldezeitraum wurde bis 26.11.2014 08:00 Uhr verlängert.
- 07.11.2014: schriftliche Nachholklausur: Die Nachholklausur findet schriftlich statt. Als möglicher Termin stehen der 27.11., 28.11. oder 29.11. zur Verfügung. Ein entsprechender Raumantrag läuft gerade. Der genaue Termin wird sobald wie möglich hier bekannt gegeben. Die Anmeldung zur Klausur ist bereits abgeschlossen, eine Abmeldung von der Klausur kann noch bis 19.11.2014 per UniWorX erfolgen.
- Ältere Meldungen
Inhalte
In komplexen Systemen werden häufig eine Vielzahl von Prozessen gleichzeitig (bzw. quasi-gleichzeitig) ausgeführt. In dieser Vorlesung werden Methoden und Techniken zur Entwicklung von Softwaresystemen auf der Grundlage paralleler Programme besprochen.
Für die Spezifikation und den Entwurf paralleler Programme wird die auf endlichen Zustandsmaschinen beruhende Sprache FSP (Finite State Processes) von Magee und Kramer verwendet. Damit können typische Phänomene und Eigenschaften, die bei der Programmierung paraller Programme auftreten, wie z.B. Prozess-Synchronisation, Sicherheits- und Lebendigkeits-Eigenschaften und Deadlocks, erfasst und analysiert werden. Zur Analyse werden Methoden des Model-Checking eingesetzt.
Für die Implementierung paralleler Programme wird das Thread-Konzept von Java verwendet. Es werden methodische Richtlinien für die Überführung von Prozessmodellen in Java-Programme besprochen. Zur Modellierung der Implementierung paralleler Systeme wird die Unified Modeling Language UML verwendet.
Termine
Vorlesung (3-stündig)
- Do 11ct-14 Uhr, Oettingenstr. 67, Raum BU101
Übung (2-stündig)
- Fr 10ct-12 Uhr, Oettingenstr. 67, Raum 115 (erstmals am 25.04.)
- Fr 14ct-16 Uhr, Oettingenstr. 67, Raum 157 (erstmals am 25.04.)
Klausur
Nachholklausur
Personen
Dozent
Übungsleitung
Materialien
Vorlesung
In den Folien sind teilweise Lücken, die in der Vorlesung ergänzt werden.
Die Folien sollen ausgedruckt zur Vorlesung mitgebracht werden um Notizen und Ergänzungen eintragen zu können.
Letzte Aktualisierung: 12.06.2014: Kapitel 8 und Inhaltsverzeichnis hinzugefügt.
Die Folien umfassen den Stoff bis zur 10. und letzten Vorlesung am 10. Juli 2014.
Übung
Hörerkreis
- Bachelor Informatik (Vertiefende Themen),
- Master Informatikstudiengänge (Software Engineering für spezielle Anwendungsgebiete),
- Diplomstudiengänge in Informatik,
- Nebenfach Informatik zu Diplom-Mathematik oder Diplom-Physik
Benötigte Vorkenntnisse
Literatur
Weitere Inhalte (z.B. Folien zum Buch) hier verfügbar:
http://www.doc.ic.ac.uk/~jnm/book/
Tool
- LTSA - Labelled Transition System Analyser
http://www.doc.ic.ac.uk/ltsa/