Terminated in academic year 2014/2015

Software Systems Specification Methods

Type of study	Follow-up Master
Language of instruction	Czech
Code	460-4041/01
Abbreviation	MSPS
Course title	Software Systems Specification Methods
Credits	4
Coordinating department	Department of Computer Science
Course coordinator	Ing. Jan Kožusznik, Ph.D.

Subject syllabus

Lectures:
INTRODUCTION
Fundamental definitions
Software lifecycle

UML Language
Introduction to UML
Basic Diagrams
Functional Specification
Logical Structure of the System
Interaction and Dynamic Behaviour of Objects
Specification of Implementation

FORMAL METHODS FOR SPECIFICATION
Formal Methods
OCL Language

DESIGN PATTERNS

Introduction
Creational Design Patterns
Structural Desing Patterns
Behavioral Design Patterns

Computer labs:
UML Language
Modeling tools
Use case diagram
Class diagram
Sequence diagram
Communication diagram
Component diagram
Deployment diagram

FORMAL METHODS FOR SPECIFICATION
Formal Methods
OCL Language

DESIGN PATTERNS

SEMESTRAL PROJECT CONSULTING

Literature

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

Advised literature

Gamma,E., Helm,R., Johnson,R., Vlissides,J. Design Patterns, Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994

back to search page