Lehrveranstaltungen
Softwaretechnologie II
Vorlesung mit Übung (WS 19) - VorlesungGliederung der Vorlesung
01 - Introduction | ||
---|---|---|
2019-10-16 | Organisation and Overview | |
| ||
2019-10-23 | Modelling Dynamic Behavior with Petri Nets | |
| ||
2019-10-30 | Behavioral Properties of Petri Nets | |
| ||
02 - Requirements Analysis | ||
2019-11-06 | Overview | |
| ||
2019-11-13 | Validation | |
| ||
2019-11-20 | Public holiday (no lecture) | |
2019-11-27 | Validation Tools | |
| ||
03 - Modeling | ||
2019-12-04 | Model Consistency and Graphs | |
| ||
2019-12-11 | no lecture (ill) | |
2019-12-18 | Model Consistency with OCL (no lecture, just slides) | |
How to use OCL for the specification of invariants, pre- and postconditions. Invariants of models. Diese Vorlesung ist nicht prüfungsrelevant. | ||
04 - Design | ||
2020-01-08 | Overview of Design Methods | |
| ||
2020-01-15 | Function- and Action-oriented Design | |
|