System Integration

• analyze a problem and model the requirements of a software system
• model the design of a software system
• formulate safety and liveness properties of models
• analyze and validate structural and semantic properties in a model
• apply modeling techniques for domain modeling, requirements, design, and systems in a specific case
• model in a team
• discuss the appropriateness of models to explain a given problem
• explain a socio-technical system using model-driven frameworks

This course covers modelling at different levels of abstraction. Some of the dimensions we will cover include:

– Requirements Engineering models
– Process models
– Data and Decision models
– Interaction models
– Enterprise Architecture models

In addition, we will cover aspects regarding the validation and verification of models.

02141/02161/02170, Knowledge of standard modelling languages in computer science (UML, Automata, ER)

Lectures with exercises. Mandatory assignment.