Modellbaserad utveckling

The ever growing complexity of modern software systems requires appropriate methodologies to deal with their intricacies. However, the most widespread development approaches are basically the same as 20 years ago, that is the application implementation is written by hand as source code in some programming language. This course provides the students with a more advanced approach to software development: no focus on source code anymore, models are promoted as first-class artefacts and used to design the system, verify and validate its correctness, and automatically generate the implementation code. The participants will become familiar with the basic concepts behind modelling, the latest techniques to design custom modelling languages and to transform models both to other models to perform analyses and to source code to automatically generate the application implementation.