In model-based system development, models are the main artefacts during both development, testing and maintenance of the system. Such models should be both intuitive and precise. Intuitive descriptions are easier to understand, while precision is important in order to avoid confusion and mistunderstanding.
Is it possible to harmonize the intuitive feeling of UML with formal reasoning? How to understand the relations between different models of the same system? Can testing be improved by generating test cases directly from the models? How can probabilities and trust estimated be included in the models? How can models be used to dynamically combine existing services in new ways? These are some of the questions addressed by this seminar on model-based system analysis.
Oppdatert: 6. august 2015.