Stud.IP Uni Oldenburg
University of Oldenburg
02.12.2022 09:58:54
inf803 - Special Topics in Computer Science I (Course overview)
Department of Computing Science 6 KP
Semester courses Wintersemester 2022/2023
Form of instruction: VA-Auswahl
  • Limited access 2.01.803-B - Praktikum Softwareverifikation Show lecturers
    • Prof. Dr. Heike Wehrheim
    • Jan Frederik Haltermann, M. Sc.

    Tuesday: 16:15 - 17:45, weekly (from 18/10/22), Ü
    Wednesday: 10:15 - 11:45, weekly (from 19/10/22), V
    Thursday: 14:15 - 15:45, weekly (from 20/10/22)
Hinweise zum Modul
Module examination
Exercises or presentation or oral exam or written exam
Skills to be acquired in this module
This module integrates current computer science developments within 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


Methodological 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:
  • Work in a team


Self-competence
The students:
  • Plan their informatical actions independently