460-4041 – Software Systems Specification Methods (MSPS)

Gurantor departmentDepartment of Computer Science
Subject guarantorIng. Jan Kožusznik, Ph.D.
Study levelundergraduate or graduate
Subject version
Version codeYear of introductionYear of cancellationCredits
460-4041/01 2010/2011 2014/2015 4

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
Tutorials
Experimental work in labs
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:

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

Prerequisities

Subject has no prerequisities.

Co-requisities

Subject has no co-requisities.