IA164 Formal Methods for Software Engineering

Fakulta informatiky
podzim 2008
Rozsah
20. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
Rom Langerak (přednášející), prof. RNDr. Luboš Brim, CSc. (zástupce)
Ing. Radka Brolíková (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Rozvrh
Po 27. 10. 16:00–19:50 B411, Čt 30. 10. 14:00–15:50 C525, Pá 31. 10. 12:00–15:50 C416, Út 4. 11. 8:00–13:50 C416, Čt 6. 11. 14:00–15:50 C525, Pá 7. 11. 12:00–15:50 C416
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 19 mateřských oborů, zobrazit
Cíle předmětu
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
Osnova
  • 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
Vyučovací jazyk
Angličtina
Informace učitele
http://wwwhome.cs.utwente.nl/~langerak/fmse/
Další komentáře
Předmět je vyučován jednorázově.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2008/IA164