Metódy a prostriedky špecifikácie

ak. rok 2009/10

Prednášateľ: Ing. Valentino Vranić, PhD.

Asistenti: Ing. Peter Kajsa, Ing. Ján Lang, PhD. a Ing. Ľubomír Majtás

Typ štúdia: bakalárske

Ročník: 3.

Odbor: Informatika

Semester: zimný

Počet hodín týždenne (prednášky–cvičenia): 2-2

Spôsob ukončenia: zápočet a skúška

Počet kreditov: 5

Predmet sa zameriava na vyjadrenie špecifikácie softvéru na všetkých úrovniach vývoja adekvátnymi modelmi. Každý model softvéru od iniciálnej špecifikácie po implementáciu možno vnímať ako špecifikáciu a celý proces vývoja softvéru ako zjemňovanie alebo konkretizáciu špecifikácie. Špeciálna pozornosť je venovaná prípadom použitia a jazyku UML, ale predmet približuje aj formálne prístupy k špecifikácii softvéru.

Oznamy

• [27.1.2010] Opravná skúška s odpoveďami bola zverejnená.
• [21.12.2009] Skúška s odpoveďami bola zverejnená.
• [18.11.2009] Prednáška 19. novembra nebude.
• [5.11.2009] Semestrálny test s odpoveďami bol zverejnený.
• [29.10.2009] Prednáška 5. novembra nebude.
• [23.10.2009] Semestrálny test bude 5. novembra v čase 15.00-15.50 v miestnostiach BC-300, AB-150 a BC-150.

• Základné informácie: sylabus, literatúra a podmienky absolvovania (PDF)
• Literatúra
• Prednášky
• Cvičenia
• Projekt
• Testy
• Plagiátorstvo a odpisovanie