Lehrveranstaltungen
Softwaretechnologie II
Vorlesung mit Übung (WS 18) - VorlesungGliederung der Vorlesung
01 - Introduction | ||
---|---|---|
2018-10-10 | Organisation and Overview | |
| ||
2018-10-17 | Modelling Dynamic Behavior with Petri Nets | |
| ||
2018-10-24 | Behavioral Properties of Petri Nets | |
| ||
02 - Requirements Analysis | ||
2018-10-31 | Public holiday (no lecture) | |
2018-11-07 | Overview | |
| ||
2018-11-14 | Validation | |
| ||
2018-11-21 | Public holiday (no lecture) | |
2018-11-28 | Validation Tools | |
| ||
03 - Modeling | ||
2018-12-05 | Model Consistency and Graphs | |
| ||
2018-12-12 | No lecture | |
2018-12-19 | Model Consistency with OCL | |
How to use OCL for the specification of invariants, pre- and postconditions. Invariants of models. | ||
04 - Design | ||
2019-01-09 | Overview of Design Methods | |
| ||
2019-01-16 | Keine Vorlesung (krank) | |
05 - Summary | ||
2019-01-23 (Der Gastvortrag findet im Ratszimmer der Fakultät statt.) | Gastvortrag: Christian Berg - Typische Muster bei der DSL-Implementierung unter Verwendung von geordneten Attributgrammatiken | |
In dieser Vorlesung soll ein praktisches Beispiel der Verwendung von Graphtheorie in der Softwaretechnologie aufgezeigt werden. Hierzu trägt Christian Berg von der Martin-Luther-Universität Halle-Wittenberg zum Thema "Typische Muster bei der DSL-Implementierung unter Verwendung von geordneten Attributgrammatiken" vor. | ||
2019-01-30 | Konsultationen | |
Die letzte Vorlesung steht komplett für ihre Fragen offen. |