Module code: CO7094
Module co-ordinator: Fer-Jan de Vries
In this module you will study and practice with two different type of specification languages which are often used in conjunction with describing different aspects of systems. The notation Z is suitable for describing transformational aspects, i.e. how the actions of a system operate on data. The process language CSP lets you describe the reactive behaviour of systems, i.e. the processes as part of which actions are executed and the communication channels through which processes communicate.
Both languages come with various tools to verify properties of the specifications and to help in the refinement process from specification to program.
- 20 one-hour lectures
- 10 one-hour seminars
- 20 hours of practicals
- Exam, 3 hours (100%)