Stud.IP Uni Oldenburg
University of Oldenburg
25.06.2022 00:06:34
inf453 - Combination of Specification Techniques (Course overview)
Department of Computing Science 6 KP
Module components Semester courses Wintersemester 2018/2019 Examination
Notes for the module
inf400/inf401 Theoretische Informatik I and II
Time of examination
At the end of the lecture period
Module examination
exercises and oral exam
Skills to be acquired in this module
Introduction to the specification languages Z for data, CSP for processes, and their combination CSP-OZ for reactive systems with data and process parts.

Professional competence
The students:
  • specify data and processes with Z, CSP and CSP-OZ formally
  • check data refinement relations formally
  • verify CSP-OZ specifications with FDR model checker

Methodological competence
The students:
- are able to integrate complementary specification methods

Social competence
The students:
  • work together in small groups to solve problems
  • present solutions to problems to groups of other students

The students:
  • learn persistence in pursuing difficult tasks 
  • learn precision in specifying problems