Semester: winter 2026/27
Lectures: Fri 10:40, S9 (Pavel Parízek)
Labs: Fri 12:20, S9
Page in SIS: NTIN043
Grading: Credit and exam

The goal of this course is to provide an overview of methods and tools for the formal specification of requirements, architecture and behavior of software systems. We will show practical examples focusing especially on the design phase and validation.

This course is intended for students enrolled to the Master's programme in computer science.

Lectures

Date Title Downloads
2.10.2026 Organization & Introduction to Formal Methods lecture00.pdf
9.10.2026 UML: Unified Modeling Language lecture01a.pdf
9.10.2026 OCL: Object Constraint Language lecture01b.pdf

Labs

Date Topic Examples
9.10.2026 UML & OCL: Practice  

Homework Assignments

Topic Deadline
UML and OCL: hospital management system 20.11.2026

Archive

Academic year 2021/2022: lectures examples