460-6009/01 – Metody specifikace softwarových systémů (MSSS)

Garantující katedraKatedra informatikyKredity10
Garant předmětuprof. Ing. Ivo Vondrák, CSc.Garant verze předmětuprof. Ing. Ivo Vondrák, CSc.
Úroveň studiapostgraduálníPovinnostpovinně volitelný
RočníkSemestrzimní + letní
Jazyk výukyčeština
Rok zavedení2010/2011Rok zrušení
Určeno pro fakultyHGF, FEIUrčeno pro typy studiadoktorské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
VON05 prof. Ing. Ivo Vondrák, CSc.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zkouška 28+0
kombinovaná Zkouška 28+0

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Cílem předmětu je seznámit studenty doktorského studia s formálními a semiformálními přístupy ke specifikaci softwarových systémů.

Vyučovací metody

Přednášky
Individuální konzultace

Anotace

Metody specifikace softwarových systémů mohou být neformální, bez přesně definované syntaxe a sémantiky, nebo naopak formální, kdy je syntaxe a sématika přesně daná. Je zřejmé, že náročnost zvládnutí metody stoupá s mírou formalizace dané metody. Bohužel, čistě formální metoda nutně musí vycházet z matematicky definovaných formulí a bývá pro běžnou praxi díky své náročnosti hůře použitelná. Kompromisem jsou metody semiformální, které sice nejsou postaveny na jazyce matematiky, ale využívají přesně daného specifikačního jazyka (obvykle grafického), který je kompromisem přijatelným pro širokou obec softwarových inženýrů. Předmět detailně seznamuje studenty s jazykem UML (Unified Modeling Language) definující v současné době standard v oblasti tvorby software a s jazykem OCL (Object Constraint Language) používaným k účelu formální specifikace a verifikace objektově orientovaných systémů. Součástí je i problematika představení různých typů návrhových vzorů a jejich použití při tvorbě softwaru.

Povinná literatura:

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

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Zpracování individuálního projektu.

E-learning

Další požadavky na studenta

Další požadavky na studenta nejsou definovány.

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

1. Úvod do problematiky 2. UML - Unified Modeling Language 3. Diagramy pro popis statických a dynamických vlastností modelu 4. Formální metody specifikace 5. OCL - Object Constraint Language 6. Návrhové vzory 7. Vzory tvořící 8. Strukturální vzory 9. Vzory chování

Podmínky absolvování předmětu

Prezenční forma (platnost od: 2013/2014 zimní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodů
Zkouška Zkouška  
Rozsah povinné účasti:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2020/2021 (P0541D170005) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0541D170005) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2019/2020 (P0613D140005) Informatika P čeština Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0541D170005) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0541D170005) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0613D140005) Informatika K čeština Ostrava povinně volitelný typu B stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2014/2015 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2014/2015 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2014/2015 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2014/2015 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2014/2015 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2013/2014 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2013/2014 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2013/2014 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2013/2014 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2012/2013 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2012/2013 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2012/2013 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2012/2013 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2011/2012 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2011/2012 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2011/2012 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2011/2012 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2010/2011 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2010/2011 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2010/2011 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P čeština Ostrava povinně volitelný stu. plán
2010/2011 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K čeština Ostrava povinně volitelný stu. plán
2010/2011 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2010/2011 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku