Sylabus
- Špecifikácia softvéru: pojmy a smery
- Prípady použitia
- Modelovanie správania v jazyku UML
- Modelovanie štruktúry v jazyku UML
- Jazyk OCL
- Metóda OOram
- Formálna špecifikácia softvéru. Jazyk Z.
- Algebraický prístup k špecifikácii softvéru
- Doménovo špecifické a konceptuálne modelovanie
- Pretínajúce záležitosti v špecifikácii
- Metamodel UML
- Scrum
fiit.stuba.sk/~vranic/mps