456-0925/01 – Software Systems Specification Methods (MSSS)
Gurantor department | Department of Computer Science | Credits | 0 |
Subject guarantor | prof. Ing. Ivo Vondrák, CSc. | Subject version guarantor | prof. Ing. Ivo Vondrák, CSc. |
Study level | postgraduate | Requirement | Choice-compulsory |
Year | | Semester | winter + summer |
| | Study language | Czech |
Year of introduction | 2003/2004 | Year of cancellation | 2009/2010 |
Intended for the faculties | FEI | Intended for study types | Doctoral |
Subject aims expressed by acquired skills and competences
Teaching methods
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.
Compulsory literature:
Recommended literature:
Way of continuous check of knowledge in the course of semester
E-learning
Other requirements
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
Přednášky:
ÚVOD DO PROBLEMATIKY
Základní pojmy
Životní cyklus vývoje softwarového díla
JAZYK UML
Úvod do problematiky
Základní diagramy jazyka
Funkční specifikace systému
Logická struktura systému
Interakce a dynamické chování objektů
Specifikace implementace
FORMALIZACE METOD SPECIFIKACE
Formální metody
Jazyk OCL
NÁVRHOVÉ VZORY
Úvod do problematiky
Návrhové vzory tvořící
Strukturální návrhové vzory
Návrhové vzory chování
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.