Ukončeno v akademickém roce 2009/2010

Metody specifikace softwarových systémů

Typ studia	doktorské
Jazyk výuky	čeština
Kód	456-0925/01
Zkratka	MSSS
Název předmětu česky	Metody specifikace softwarových systémů
Název předmětu anglicky	Software Systems Specification Methods
Kreditů	0
Garantující katedra	Katedra informatiky
Garant předmětu	prof. Ing. Ivo Vondrák, CSc.

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í

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

K tomuto předmětu nebyla specifikována doporučená literatura.

zpět na vyhledávání