About
Contact & Profiles
Research Areas
- AI-based Problem Solving and Planning
- Intelligent Tutoring Systems and Adaptive Learning
- Innovative Teaching and Learning Methods
Ruhr University Bochum
2023
In this paper we advocate the study of misconceptions in formal methods domain by integrating quantitative and qualitative methods. domain, so far, have mostly been studied with methods, typically via interviews less than 20 subjects. We discuss workflows for (1) determining commonness qualitatively established means; (2) initial discovery followed assessments.
10.1145/3545945.3569806
article
EN
2023-03-02
Coming Soon ...