456-0925/01 – Metody specifikace softwarových systémů (MSSS)
Garantující katedra | Katedra informatiky | Kredity | 0 |
Garant předmětu | prof. Ing. Ivo Vondrák, CSc. | Garant verze předmětu | prof. Ing. Ivo Vondrák, CSc. |
Úroveň studia | postgraduální | Povinnost | povinně volitelný |
Ročník | | Semestr | zimní + letní |
| | Jazyk výuky | čeština |
Rok zavedení | 2003/2004 | Rok zrušení | 2009/2010 |
Určeno pro fakulty | FEI | Určeno pro typy studia | doktorské |
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
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.