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

Module label	Current Topics in 'Formal Methods'
Module code	inf496
Credit points	3.0 KP
Workload	90 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 (authorised to take exams)
Prerequisites	No participant requirements
Skills to be acquired in this module	This module integrates current computer science developments in formal methods into the informatics program 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. Methological competencex 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 Self competences The students plan their informatical actions idenpendently
Module contents	According to the assigned task
Recommended reading	will be announced in the course
Links
Language of instruction	English
Duration (semesters)	1 Semester
Module frequency	irregular
Module capacity	unlimited
Teaching/Learning method	V oder S

Examination	Prüfungszeiten	Type of examination
Final exam of module	At the end of the lecture term	presentation or oral exam

Type of course	Course or seminar
SWS	2
Frequency	see frequency of module offering
Workload attendance time	28 h