Vorlesung
| Veranstalter: |
Prof. Dr. Jakob Rehof |
| Typ: |
Vertiefungsmodul |
| Modulnummer: |
INF-MSc-312 |
| Ort: |
OH 14, Raum 104 |
| Termin: |
Dienstag, 10-12 Uhr |
| Beginn: |
14.04.2015 |
Beschreibung
Diese vertiefende Lehrveranstaltung ist fokussiert auf die Komponenten- und Service-orientierte Softwareentwicklung mit besonderem Augenmerk auf die automatische Synthese von Systemen.
Die Vorlesung legt im SS15 insbesondere Wert auf die Modellierung und Untersuchung komponentenbasierter paralleler Systeme. Es werden verschiedene formale Komponentenmodelle vorgestellt und verglichen. Dabei werden verschiedene Eigenschaften spezifiziert, und es wird aufgezeigt, wie diese unter gewissen Umständen (z.B. unter Einschränkungen an die Architektur) und unter Ausnutzung von Kompositionalität verifiziert werden können. Gegebenenfalls sollen auch spieltheoretische Aspekte in die Untersuchung miteinfließen.
Die Möglichkeit zur automatischen Synthese von Systemen auf der Basis von Komponentensammlungen ist das Bindeglied für die einzelnen Systeme. Eine fundierte Theorie wird für diese Synthese vorgestellt und mit Übungen an einem Software-Werkzeug für Features und die Synthese von funktionalen Programmen begleitet.
Neuigkeiten und Ankündigungen
- Die mündlichen Prüfungen finden statt am:
- Donnerstag, 10.9.2015
- Freitag, 11.9.2015
- Mittwoch, 23.9.2015
- Die Vergabe der Prüfungstermine erfolgt über das Sekretariat (Frau Ute Joschko) ab dem 3.8.2015.
- Die Fragestunde zur Prüfungsvorbereitung findet am 8. September 2015 von 10:00-11:00 Uhr in OH12 Raum 2.013 statt.
- Die nächste Übung findet am Montag 13.7.2015 statt. Der entsprechende Übungszettel wird am Montag 6.7.2015 verfügbar sein.
Vorlesungsfolien
Die Vorlesungsfolien sind aus dem Campusnetz oder über das VPN aufrufbar. Sie werden semesterbegleitend fortlaufend bereitgestellt, und zwar (planmäßig) spätestens um Mitternacht am Vorabend eines Vorlesungstages.
Im Anschluss daran kann es noch zu kleineren Änderungen kommen (z.B. das Hinzufügen der Antwort-Folien zu den während einer Vorlesung gestellten Diskussionfragen im Anschluss an eine Vorlesung).
Übung
Bei Fragen zu den Übungen und ihrer Durchführung kann sich an Boris Düdder gewandt werden.
- Die Übung dient der Verstetigung des Vorlesungsinhalts sowie der praktischen Anwendung der erlangten Kenntnisse über die unterliegenden Grundlagen hinaus.
- Beweise werden zum Teil länger diskutiert und durch Aufgaben dargestellt.
- Die Übungen zu KSOS finden jeweils montags von 12:15-13:45 Uhr in OH12, Raum 3.031 statt. Die Übung beginnen am 27.04.2015.
Anmeldung
- Bitte beachten Sie, dass Sie sich zu der Veranstaltung sowie zu der Übung anmelden müssen!!!
Übungsgruppen
Weitere Informationen werden bereitgestellt, sobald sie verfügbar sind.
Übungszettel
- Install latest version of Eclipse (checked with Kepler and Luna)
- use Eclipse Marketplace to install "FeatureIDE (2.6.5)" (latest version)
- Visit the update site ( http://combinators.org/launchpad/update-site ) and install LaunchPad composer
- Create New | Example... | Launchpad Composer | SolitaireProductLine from Menu
Literatur
Studienleistung
Das Erlangen der Studienleistung ist Voraussetzung für die Teilnahme an der abschließenden mündlichen Prüfung.
Die Kriterien sind wie folgt:
- Erreichen von mind. 40% der Punkte aus den Hausübungen in der ersten Hälfte der Übungsblätter
- Erreichen von mind. 40% der Punkte aus den Hausübungen in der zweiten Hälfte der Übungsblätter
Leistungsnachweis
Studierende können einen Leistungsnachweis über diese Veranstaltung ablegen.
Dazu gelten folgende Kriterien:
Fachprüfung
Diese Veranstaltung ist gemäß des Beschlusses des Prüfungsausschusses den beiden Schwerpunktgebieten aus den DPOs 96, 97 und 2001:
- (1) Software-Konstruktion
- (3) Verteilte Systeme
zugeordnet. Die Fachprüfung ist eine mündliche Prüfung von mind. 30 Minuten.
Kontakt
