Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
Megan FowlerEileen T. KraemerYu-Shan SunMurali SitaramanJason O. HallstromJoseph E. HollingsworthPublished in: ECSEE (2020)
Keyphrases
- assessment tool
- centered design
- learning process
- learning tasks
- computer aided learning
- active learning
- reinforcement learning
- knowledge acquisition
- design tools
- knowledge based systems
- decision trees
- hybrid learning
- learner centred
- online learning
- learning scenarios
- learning design
- formal methods
- expert systems
- case study