Stud.IP Uni Oldenburg
University of Oldenburg
30.11.2023 06:21:01
inf490 - Current Topics in 'Formal Methods' I (Complete module description)
Original version English PDF download
Module label Current Topics in 'Formal Methods' I
Module abbreviation inf490
Credit points 3.0 KP
Workload 90 h
Institute directory Department of Computing Science
Applicability of the module
  • Master's Programme Computing Science (Master) > Theoretische Informatik
Responsible persons
  • Wehrheim, Heike (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
No participant requirements
Skills to be acquired in this module
This module integrates current computer science developments into the informatics program, especially considering the selected focus area, by appropriate study courses

Professional competence
The students:
  • know recent technological or scientific computer science developments
  • transfer computer science methods and development models to IT application area requirements
  • evaluate the possibilities and limitations of computer science methods and tools and
  • apply them appropriately.

Methological competence
The students:
  • review problems, formulate them with formal models and explore them appropriately
  • identify and present (one or more) computer science problem solutions
  • select and evaluate appropriate tools and methods
  • examine problems with technical and scientific literature

Social competence
The students:
  • cooperate in a team

Self competence
The students:
  • plan their informatical actions idependently
Module contents
According to the assigned task
Recommended reading
According to the asigned task
Language of instruction English
Duration (semesters) 1 Semester
Module frequency semi-annual
Module capacity unlimited
Module level
Type of module
Teaching/Learning method 1VL or 1S
Previous knowledge none
Examination Examination times Type of examination
Final exam of module
At the end of the lecture period
Portfolio or Presentation or oral exam or written exam
Type of course Course or seminar
Frequency SoSe oder WiSe
Workload Präsenzzeit 28 h