[ 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 |
|