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

Garantující katedraKatedra informatikyKredity0
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í2003/2004Rok zrušení2009/2010
Určeno pro fakultyFEIUrč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í Zápočet a zkouška 2+0
kombinovaná Zápočet a zkouška 0+0

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

Vyučovací metody

Anotace

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ů. V rámci předmětu se také studenti seznamí s celou řadou návrhových vzorů.

Povinná literatura:

Rumbaugh, James et al. Object-Oriented Modeling and Design, Prentice Hall Inc. 1991 Booch, Grady: Object-Oriented Analysis and Design, The Benjamin/Cummings Publishing Company, Inc. 1994 Jacobson, I., Christerson, M., Jonsson, P., Overgaard, G.: Object Oriented Software Engineering, A Use Case Driven Approach, Addison-Wesley, 1994 UML Notation Guide version 1.1 by Rational Software * Microsoft * Hewlett-Packard * Oracle * Sterling Software * MCI Systemhouse * Unisys * ICON Computing * IntelliCorp * i-Logix * IBM * ObjecTime * Platinum Technology * Ptech * Taskon * Reich Technologies * Softeam Gamma,E., Helm,R., Johnson,R., Vlissides,J. Design Patterns, Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994

Doporučená literatura:

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

E-learning

Další požadavky na studenta

Prerekvizity

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

Korekvizity

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

Osnova předmětu

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í

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

Kombinovaná forma (platnost od: 1960/1961 letní semestr, platnost do: 2012/2013 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodůMax. počet pokusů
Zápočet a zkouška Zápočet a zkouška 100 (145) 51 3
        Zkouška Zkouška 100  0 3
        Zápočet Zápočet 45  0 3
Rozsah povinné účasti:

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2009/2010 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2009/2010 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2646) Informační technologie K čeština Ostrava povinně volitelný stu. plán
2008/2009 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika K čeština Ostrava povinně volitelný stu. plán
2007/2008 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (P2646) Informační technologie (1801V002) Informatika a aplikovaná matematika P č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

Hodnocení Výuky

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