Metody specifikace softwarových systémů

Typ studia	doktorské
Jazyk výuky	čeština
Kód	460-6009/01
Zkratka	MSSS
Název předmětu česky	Metody specifikace softwarových systémů
Název předmětu anglicky	Software Systems Specification Methods
Kreditů	10
Garantující katedra	Katedra informatiky
Garant předmětu	prof. Ing. Ivo Vondrák, CSc.

Osnova předmětu

1. Úvod do problematiky
2. UML - Unified Modeling Language
3. Diagramy pro popis statických a dynamických vlastností modelu
4. Formální metody specifikace
5. OCL - Object Constraint Language
6. Návrhové vzory
7. Vzory tvořící
8. Strukturální vzory
9. Vzory chování

Povinná literatura

Tom Pender: UML Bible, Wiley Publishing, ISBN: 0-7645-2604-9
Jos Warmer, Anneke Kleppe: The Object Constraint Language, Second Edition, Addison-Wesley, ISBN: 0-321-17936-6

Doporučená literatura

Vondrák, I.: Metody specifikace programových systémů, studijní opory, VŠB - TU Ostrava, 2005
Vondrák, I.: Methods for Software Specification, přednášková prezentace, VŠB - TU Ostrava, 2005

zpět na vyhledávání