DAT355 Modelldrevet programvareutvikling og pålitelige programvaresystemer
Emneplan for studieåret 2021/2022
Innhold og oppbygning
This course will be taught in English, please see the English version of the course description.
Faglig overlapping
- DAT353 - Model Driven Software Engineering - Reduksjon: 5 studiepoeng
- DAT354 - Model Checking and Software Verification - Reduksjon: 5 studiepoeng