System Development and Operations
The focus of this course is model-driven (software) development.
We will discuss established concepts, techniques, and methods for:
the specification of graphical and textual software languages;
the specification of domain-specific (modeling) languages;
the mapping between models on different abstraction layers;
the verification of software artifacts;
the application of software patterns;
process aspects of software development.