IA164 Formal Methods for Software Engineering

Faculty of Informatics
Autumn 2008
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
there are 19 fields of study the course is directly associated with, display
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