Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design - Marchisio, Marina; Margaria, Tiziana; Sacchet, Matteo (2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020)
Keywords: Adaptation models; adaptive assessment; automatic assessment; Computational modeling; computational thinking; Computer Science education; Computers; DIME; Education; formative assessment; interactive feedback; model checking; model driven design; Programming