Ukončeno v akademickém roce 2009/2010

Metody specifikace programových systémů

Typ studia	navazující magisterské
Jazyk výuky	čeština
Kód	456-0329/01
Zkratka	MSPS
Název předmětu česky	Metody specifikace programových systémů
Název předmětu anglicky	Software Systems Specification Methods
Kreditů	4
Garantující katedra	Katedra informatiky
Garant předmětu	Ing. Jan Kožusznik, Ph.D.

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

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

zpět na vyhledávání