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

Literature

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

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

back to search page