inf490 - Current Topics in 'Formal Methods' I (Complete module description)

Module label	Current Topics in 'Formal Methods' I
Modulkürzel	inf490
Credit points	3.0 KP
Workload	90 h
Institute directory	Department of Computing Science
Verwendbarkeit des Moduls	Master's Programme Computing Science (Master) > Theoretische Informatik
Zuständige Personen	Wehrheim, Heike (module responsibility) Lehrenden, Die im Modul (Prüfungsberechtigt)
Prerequisites	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
Literaturempfehlungen	According to the asigned task
Links
Language of instruction	English
Duration (semesters)	1 Semester
Module frequency	semi-annual
Module capacity	unlimited
Teaching/Learning method	V or S
Previous knowledge	none

Examination	Prüfungszeiten	Type of examination
Final exam of module	At the end of the lecture period	Portfolio or Presentation or oral exam or written exam

Lehrveranstaltungsform	Course or seminar
SWS	2
Frequency	siehe Angebotsrhythmus Modul