Metódy a prostriedky špecifikácie, ak. rok 2012/13

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ý.

  1. Špecifikácia softvéru a prípady použitia [25. september]
  2. Prípady použitia a UML [2. október]
  3. Od prípadov použitia k štruktúre v jazyku UML [9. október]
  4. Modelovanie štruktúry v jazyku UML [16. október]
  5. Jazyk OCL [23. október]
  6. Metóda OOram [30. október]
  7. Test [6. november]

  8. Jazyk Z [13. november]
  9. Algebraický prístup k špecifikácii softvéru [20. november]
    Zásobník v jazyku Z (LaTeX): stack1.tex | stack2.tex
  10. Konfigurovateľnosť v modelovaní softvéru [27. november]
  11. Technológia a ľudia: Scrum [4. december]
  12. Metamodel UML [11. december]

fiit.stuba.sk/~vranic/mps