Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.
Marko SchmellenkampAlexandra LatysThomas ZeumePublished in: SIGCSE (1) (2023)
Keyphrases
- intelligent tutoring systems
- formal methods
- tutoring system
- student knowledge
- knowledge based systems
- student model
- intelligent tutoring
- constraint based modeling
- model checking
- software engineering
- authoring tool
- artificial intelligence
- formal specification
- cognitive model
- procedural knowledge
- student modeling
- intelligent learning environments
- development lifecycle
- intelligent tutors
- affective computing
- model tracing
- formal specification language
- modeling language
- web based learning systems
- learning systems