Inhalt

[ 926WMETFOMK14 ] KS Formal Methods

Versionsauswahl
Es ist eine neuere Version 2018W dieser LV im Curriculum Master's programme Business Informatics 2023W vorhanden.
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 2016W
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
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