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
Terminated in academic year 2024/2025
Software Systems Specification Methods
| Type of study | Doctoral |
|---|---|
| Language of instruction | Czech |
| Code | 460-6009/01 |
| Abbreviation | MSSS |
| Course title | Software Systems Specification Methods |
| Credits | 10 |
| Coordinating department | Department of Computer Science |
| Course coordinator | prof. Ing. Ivo Vondrák, CSc. |
Subject syllabus
1. Introduction
2. UML - Unified Modeling Language
3. Static and dynamic diagrams for the model specification
4. Formal methods for the software specification
5. OCL - Object Constraint Language
6. Design Patterns
7. Creational patterns
8. Structural patterns
9. Behavioral patterns
2. UML - Unified Modeling Language
3. Static and dynamic diagrams for the model specification
4. Formal methods for the software specification
5. OCL - Object Constraint Language
6. Design Patterns
7. Creational patterns
8. Structural patterns
9. Behavioral patterns
Literature
Advised literature
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