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. Pre prehľad sú dostupné slajdy prednášok z minulého roku. Plán prednášok je orientačný.
- Špecifikácia softvéru: pojmy a smery [20. september]
- Prípady použitia [27. september]
- Od prípadov použitia k štruktúre v jazyku UML [4. október]
- Modelovanie štruktúry v jazyku UML [11. október]
- Jazyk OCL [18. október]
- Metóda OOram [25. október]
Test [8. november]
- Jazyk Z [15. november]
- Algebraický prístup k špecifikácii softvéru [22. november]
Zásobník v jazyku Z (LaTeX): stack1.tex | stack2.tex
- Konfigurovateľnosť v modelovaní softvéru [29. november]
Záverečné konzultácie [6. december]
fiit.stuba.sk/~vranic/mps