[ 926WMETFOMK14 ] KS Formal Methods
|
|
|
Es ist eine neuere Version 2018W dieser LV im Curriculum Master's programme Business Informatics 2024W 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 2014W |
Objectives |
See Wahlfach Methodenlehre
|
Subject |
See Wahlfach Methodenlehre
|
Criteria for evaluation |
Examination 50%, In-class participation 50%
|
Language |
German |
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.
|
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 |
|