Stud.IP Uni Oldenburg
University of Oldenburg
16.10.2021 05:11:11
inf489 - Special Topics in 'Formal Methods' (Complete module description)
Original version English Download as PDF
Module label Special Topics in 'Formal Methods'
Module code inf489
Credit points 6.0 KP
Workload 180 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 (Module counselling)
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 competences**
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.
**Methodological competences**
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 competences**
The students:
- cooperate in a team

The students:
- plan their informatical actions independently
Module contents
According to the assigned task
Reader's advisory
According to the assigned task
Language of instruction German
Duration (semesters) 1 Semester
Module frequency unregelmäßig
Module capacity unlimited
Modullevel / module level AS (Akzentsetzung / Accentuation)
Modulart / typ of module je nach Studiengang Pflicht oder Wahlpflicht
Lehr-/Lernform / Teaching/Learning method 2 Veranst. aus V, Ü, S, P, PR
Vorkenntnisse / Previous knowledge
Examination Time of examination Type of examination
Final exam of module
At the end of the lecture period
Portfolio or presentation or oral exam or written exam
Course type Course selection
Frequency WiSe
Workload attendance 28 h