FI:IA164 Formal Methods for SE - Course Information

IA164 Formal Methods for Software Engineering

Extent and Intensity

0/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).

Teacher(s)

Rom Langerak (lecturer), prof. RNDr. Luboš Brim, CSc. (deputy)
Ing. Radka Brolíková (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Luboš Brim, CSc.

Timetable

Mon 27. 10. 16:00–19:50 B411, Thu 30. 10. 14:00–15:50 C525, Fri 31. 10. 12:00–15:50 C416, Tue 4. 11. 8:00–13:50 C416, Thu 6. 11. 14:00–15:50 C525, Fri 7. 11. 12:00–15:50 C416

Prerequisites

Intended audience: 2nd/3rd year computer science

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Applied Informatics (programme FI, N-AP)
• Information Technology Security (programme FI, N-IN)
• Bioinformatics (programme FI, N-AP)
• Information Systems (programme FI, N-IN)
• Informatics (programme FI, M-IN)
• Informatics (programme FI, N-IN)
• Mathematical Informatics (programme FI, B-IN)
• Parallel and Distributed Systems (programme FI, N-IN)
• Computer Graphics (programme FI, N-IN)
• Computer Networks and Communication (programme FI, N-IN)
• Computer Systems (programme FI, N-IN)
• Embedded Systems (eng.) (programme FI, N-IN)
• Theoretical Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-TV)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS) (2)
• Artificial Intelligence and Natural Language Processing (programme FI, N-IN)
• Image Processing (programme FI, N-AP)

Course objectives

This course covers the use of mathematical techniques and corresponding software tools for modelling and analysis of software systems. The following topics are treated: 1. Modelling distributed system using process algebra, supported by the tool LTSA. Analysis of these models using simulation and model checking techniques. 2. The logical specification technique Z, supported by the tool Z/EVES, and the application in simple system specifications 3. the industrial specification technique SDL

Syllabus

• This course covers the use of mathematical techniques and corresponding software tools for modelling and analysis of software systems. The following topics are treated: 1. Modelling distributed system using process algebra, supported by the tool LTSA. Analysis of these models using simulation and model checking techniques. 2. The logical specification technique Z, supported by the tool Z/EVES, and the application in simple system specifications 3. the industrial specification technique SDL

Language of instruction

English

Further comments (probably available only in Czech)

The course is taught only once.
Information on the extent and intensity of the course: 20.

Teacher's information

http://wwwhome.cs.utwente.nl/~langerak/fmse/

• Enrolment Statistics (recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn2008/IA164