Central to research carried out in the department are models and modeling. Models provide abstractions of systems, artificial or natural, that allow reasoning about properties of these systems. Models have always played a key role in science and engineering. There is now a clear trend in computer science towards the systematic use of models as the primary artifacts throughout the engineering lifecycle of computer-based systems. We do research on:
The members of the MBSD section have expertise covering a broad range of topics concerning model-based system development, which is seen as a unique feature of the group with significant added value.