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
Ukončeno v akademickém roce 2024/2025
Metody specifikace softwarových systémů
| Typ studia | doktorské |
|---|---|
| Jazyk výuky | angličtina |
| Kód | 460-6009/02 |
| 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í
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
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
Vondrák, I.: Methods for Software Specification, přednášková prezentace, VŠB - TU Ostrava, 2005