Lehrveranstaltungen
Softwaretechnologie II
Vorlesung mit Übung (WS 17) - VorlesungGliederung der Vorlesung
01 - Introduction | ||
---|---|---|
2017-10-11 | Organisation and Overview | |
| ||
2017-10-18 | Modelling Dynamic Behavior with Petri Nets | |
| ||
2017-10-25 | Behavioral Properties of Petri Nets | |
| ||
02 - Requirements Analysis | ||
2017-11-01 | Overview | |
| ||
2017-11-08 | Validation | |
| ||
2017-11-14 | Validation Tools | |
| ||
2017-11-22 | Public holiday (no lecture) | |
03 - Modeling | ||
2017-11-29 | Model Consistency and Graphs | |
| ||
2017-12-06 | No lecture | |
No lecture | ||
2017-12-13 | Model Consistency with OCL | |
How to use OCL for the specification of invariants, pre- and postconditions. Invariants of models. | ||
04 - Design | ||
2018-01-10 | Overview of Design Methods | |
| ||
2018-01-17 | Modular Design | |
| ||
2018-01-17 | Action-oriented, CA-, and ECA-based Design | |
| ||
2018-01-24 | No lecture | |
2018-01-31 | Model-Driven Architecture | |
How to derive a set of products (product line) from a common set of platform-independent models. Platform-specific models. Model mappings and transformations. |