456-0329/01 – Software Systems Specification Methods (MSPS)
Gurantor department | Department of Computer Science | Credits | 4 |
Subject guarantor | Ing. Jan Kožusznik, Ph.D. | Subject version guarantor | Ing. Jan Kožusznik, Ph.D. |
Study level | undergraduate or graduate | Requirement | Optional |
Year | 2 | Semester | winter |
| | Study language | Czech |
Year of introduction | 2003/2004 | Year of cancellation | 2009/2010 |
Intended for the faculties | FEI | Intended for study types | Follow-up Master |
Subject aims expressed by acquired skills and competences
The course deals with UML (Unified Modeling Language) and with its extension - formal language OCL. The course is also dedicated to method of software specificaction by USE CASES. The last part deals with advanced design patterns.
Teaching methods
Lectures
Individual consultations
Tutorials
Project work
Other activities
Summary
The course deals with UML (Unified Modeling Language) that represents standard in the field of object-oriented analysis and design. The OCL (Object Constaint Language) is introduced in a context of formal specification and verification of software systems. The significant part of the course is dedicated to design pattern, how they are defined and how they can be used. The subject is prerequisited by courses Introduction to Software Engineering and System Analysis and Design.
Compulsory 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
Recommended 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
Way of continuous check of knowledge in the course of semester
Conditions for credit:
Obtain at least 20 marks from exercise lectures.
There is evaluated semestral project - most highly 40 marks
E-learning
Other requirements
Prerequisities
Co-requisities
Subject has no co-requisities.
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
Conditions for subject completion
Conditions for completion are defined only for particular subject version and form of study
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction