Software Systems Specification Methods

Software Systems Specification Methods
460-6009/01
čeština Software Systems Specification Methods
460-6009/02
angličtina

Summary

The course deals with UML (Unified Modeling Language) that represents standard in the field of object-oriented analysis and design. The OCL (Object Constaint Language) is introduced in a context of formal specification and verification of software systems. The significant part of the course is dedicated to design pattern, how they are defined and how they can be used.

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

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

back to search page

Language of instruction	čeština, angličtina
Code	460-6009
Abbreviation	MSSS
Course title	Software Systems Specification Methods
Coordinating department	Department of Computer Science
Course coordinator	prof. Ing. Ivo Vondrák, CSc.