Prednášky
Prednášky sa konajú v utorok 14.00-15.40 v DE-300. Na tejto stránke nájdete slajdy prednášok. Slajdy budú zverejňované vždy bezprostredne po prednáške. Plán prednášok je orientačný.
- Špecifikácia softvéru: pojmy a smery [21. september]
- Prípady použitia [28. september]
- Od prípadov použitia k štruktúre v jazyku UML [5. október]
- Modelovanie štruktúry v jazyku UML [19. október]
- Jazyk OCL [26. október]
Test [9. november]
- Metóda OOram [16. november]
- Jazyk Z [23. november]
- Algebraický prístup k špecifikácii softvéru [30. november]
Príklady: stack1.tex | stack2.tex
- Konfigurovateľnosť v modelovaní softvéru[7. december]
Záverečné konzultácie [14. december]
fiit.stuba.sk/~vranic/mps