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
Terminated in academic year 2009/2010
Software Systems Specification Methods
| Type of study | Follow-up Master |
|---|---|
| Language of instruction | Czech |
| Code | 456-0329/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
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
Advised 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
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