Metódy a prostriedky špecifikácie

ak. rok 2013/14


Prednášateľ: doc. Ing. Valentino Vranić, PhD.
Asistenti: Ing. Ján Kvak a Ing. Ján Lang, PhD. Ing. Jakub Šimko, PhD.
Typ štúdia: bakalárske
Ročník: 3.
Študijný program: Informatika
Semester: zimný
Počet hodín týždenne (prednášky–cvičenia): 2-2
Spôsob ukončenia: 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.



fiit.stuba.sk/~vranic/mps

Valentino Vranić
vranic at fiit.stuba.sk