inf490 - Current Topics in 'Formal Methods' I

inf490 - Current Topics in 'Formal Methods' I

Department of Computing Science 3 KP
Semester courses Sommersemester 2023
Lehrveranstaltungsform: Course or seminar
Hinweise zum Modul
Prerequisites

No participant requirements
Prüfungszeiten

At the end of the lecture period
Module examination

Portfolio or Presentation or oral exam or written exam
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

Top