456-0925/01 – Software Systems Specification Methods (MSSS)

Gurantor departmentDepartment of Computer ScienceCredits0
Subject guarantorprof. Ing. Ivo Vondrák, CSc.Subject version guarantorprof. Ing. Ivo Vondrák, CSc.
Study levelpostgraduateRequirementChoice-compulsory
YearSemesterwinter + summer
Study languageCzech
Year of introduction2003/2004Year of cancellation2009/2010
Intended for the facultiesFEIIntended for study typesDoctoral
Instruction secured by
LoginNameTuitorTeacher giving lectures
VON05 prof. Ing. Ivo Vondrák, CSc.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+0
Part-time Credit and Examination 0+0

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

Part-time form (validity from: 1960/1961 Summer semester, validity until: 2012/2013 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of pointsMax. počet pokusů
Exercises evaluation and Examination Credit and Examination 100 (145) 51 3
        Examination Examination 100  0 3
        Exercises evaluation Credit 45  0 3
Mandatory attendence participation:

Show history

Conditions for subject completion and attendance at the exercises within ISP:

Show history

Occurrence in study plans

Academic yearProgrammeBranch/spec.Spec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2009/2010 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2009/2010 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2008/2009 (P2646) Information Technology K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics K Czech Ostrava Choice-compulsory study plan
2007/2008 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2006/2007 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2005/2006 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2004/2005 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner

Assessment of instruction

Předmět neobsahuje žádné hodnocení.