[ 926WMETFOMK14 ] KS Formal Methods

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M1 - Master's programme 1. year Statistics Tudor Jebelean 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Business Informatics 2018W
Objectives See Wahlfach Methodenlehre
Subject See Wahlfach Methodenlehre
Criteria for evaluation Examination 50%, In-class participation 50%
Methods Combined lecture, alternating theoretical presentations with practical exercises based on concrete examples.
Language English and French
Study material Reading:

  • Bortz, J.; Döring, N.: Forschungsmethoden und Evaluation für Human- und Sozialwissenschaftler. Springer, Berlin, current edition.
  • Heinrich, L. J.; Heinzl, A.; Riedl, R.: Wirtschaftsinformatik - Einführung und Grundlegung. Oldenbourg, München/Wien, current edition.

Supplementary literature will be provided during the semester.

Changing subject? No
Further information See Wahlfach Methodenlehre
Earlier variants They also cover the requirements of the curriculum (from - to)
2WFMFMKS: KS Formal Methods (2010W-2014S)
On-site course
Maximum number of participants 200
Assignment procedure Assignment according to priority