Lehrveranstaltungen
Softwaretechnologie II
Vorlesung mit Übung (WS 15) - VorlesungGliederung der Vorlesung
01 - Introduction | ||
---|---|---|
2015-10-14 | Organisation and Overview | |
| ||
2015-10-21 | Modelling Dynamic Behavior with Petri Nets | |
| ||
0000-00-00 (reserve) | Formal Behavioral Properties of Petri Nets | |
| ||
2015-10-28 | Model Transformation and Graph Rewriting | |
Graph rewriting for model- and program transformations: EARS, XGRS, TGG. Refactoring with graph rewriting. | ||
03 - Requirements Analysis | ||
2015-11-04 | Overview | |
| ||
2015-11-25 | Validation | |
| ||
2015-11-18 | Public holiday (no lecture) | |
2015-12-02 | Model Consistency and Graphs | |
| ||
0000-00-00 (reserve) | Model Consistency with OCL | |
How to use OCL for the specification of invariants, pre- and postconditions. Invariants of models. | ||
2015-12-16 | Model Structuring of Big Models | |
Strukturierung von Modellen. Reduzibilität von Modellen. Starke Zusammenhangskomponenten. Anwendung von Graphersetzungssytemen zur Modell- und Programmtransformation. | ||
04 - Design | ||
2015-12-09 | Overview of Design Methods | |
| ||
2015-12-16 | Modular Design | |
| ||
2016-01-06 | Action-oriented, CA-, and ECA-based Design | |
| ||
2016-01-13 | Data-Driven Design | |
The KWIC example in different architectural styles. Data-Driven Design with Jackson Structured Programming and Regular Tree Grammars. | ||
2016-01-13 | Aspect-oriented Programming | |
Views, Concerns (Aspects), and Perspectives (Viewpoints). Crosscutting. Aspect Separation. | ||
05 - Software Product Lines | ||
2016-01-20 | 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. | ||
2016-01-27 | Feature Modeling | |
| ||
05 - Business Models | ||
2016-02-03 | How to Sell Software | |
Innovation management. Startups. Business models. |