460-4041/01 – Metody specifikace programových systémů (MSPS)
| Garantující katedra | Katedra informatiky | Kredity | 4 |
| Garant předmětu | Ing. Jan Kožusznik, Ph.D. | Garant verze předmětu | Ing. Jan Kožusznik, Ph.D. |
| Úroveň studia | pregraduální nebo graduální | Povinnost | volitelný odborný |
| Ročník | 1 | Semestr | letní |
| | Jazyk výuky | čeština |
| Rok zavedení | 2010/2011 | Rok zrušení | 2014/2015 |
| Určeno pro fakulty | FEI | Určeno pro typy studia | navazující magisterské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Cílem předmětu je seznámit studenty s principy jazyka UML a jeho rozšířením o formální jazyk OCL. Předmět se dále věnuje detailněji metodě specifikace softwaru pomocí případů užití. Poslední část je věnována pokročilejším návrhovým vzorům.
Vyučovací metody
Přednášky
Cvičení (v učebně)
Experimentální práce v laboratoři
Projekt
Ostatní aktivity
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 seznámí s celou řadou návrhových vzorů.
V předmětu se očekávájí znalosti z předmětů Úvod do Softwarového Inženýrství.
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:
Gamma,E., Helm,R., Johnson,R., Vlissides,J. Design Patterns, Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994
Forma způsobu ověření studijních výsledků a další požadavky na studenta
Podmínky udělení zápočtu:
Získat minimálně 20 bodů za cvičení
Ve cvičení je hodnocen zápočtový projekt maximálně 40 body
E-learning
Další požadavky na studenta
Další požadavky na studenta nejsou kladeny.
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í
Počítačové laboratoře:
JAZYK UML
Modelovací nástroje
Use case diagramy
Třídní diagramy
Sekvenční diagramy
Komunikační diagramy
Komponentní diagramy
Diagramy nasazení
FORMALIZACE METOD SPECIFIKACE
Formální metody
Jazyk OCL
Návrhové vzory
Konzultace projektu
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