inf484 - Special Topics in 'Correct Systems Design' I (Complete module description)

inf484 - Special Topics in 'Correct Systems Design' I (Complete module description)

Original version English PDF Download
Module label Special Topics in 'Correct Systems Design' I
Modulkürzel inf484
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Verwendbarkeit des Moduls
  • Master's Programme Computing Science (Master) > Theoretische Informatik
Zuständige Personen
  • Olderog, Ernst-Rüdiger (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)

No participant requirements

Skills to be acquired in this module

This module integrates current developments in the field in adequate study courses.
Professional competences
The students:

  • define and contrast a computer science part, in which they are specialised, in detail or evaluate computer science in general
  • recognise and evaluate applied techniques and methods of their subject and are aware of their limits
  • identify, structure and solve problems/tasks, also in new or developing subject areas
  • apply state of the art and innovative methods to solve problems, if necessary from other disciplines
  • are aware of the current limits and contribute to the development of computer science research and technology
  • discuss and evaluate recent computer science developments

Methodological competences
The students:

  • evaluate and apply tools, technology and methods sophisticatedly
  • combine new and original approaches and methods creatively
  • evaluate problems/tasks, including new or developing subject areas of their discipline and apply computer science methods for solutions and research

Social competences
The students:

  • support team process by their abilities

The students:

  • pursue the overall and special computer science development critically
  • implement innovative professional activities effectively and independently
Module contents

See assigned course description


As announced in course

Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency semi-annual
Module capacity unlimited
Teaching/Learning method 2 events from V, Ü, S, P
Previous knowledge none
Examination Prüfungszeiten Type of examination
Final exam of module

Portfolio or presentation or oral exam

Form of instruction VA-Auswahl
Frequency siehe Angebotsrhythmus Modul
Workload Präsenzzeit 56 h