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
Software Systems Specification Methods
| Language of instruction | angličtina, češ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. |
Anotace
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.
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