AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault, Valentin Sebille,Valentin Besnard,Théo Le Calvar,Ciprian Teodorov,Matthias Brun,Jerome Delatour

2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)（2021）

引用 2|浏览8

暂无评分

摘要

Practice with feedback is essential to most learning activities. Although invaluable, an instructor’s availability to give feedback is necessarily time-limited, but can sometimes be complemented by automated feedback. This is actually the case when learning a new programming language: students can get automated low-level feedback on their production from compilers, interpreters, and program output...

查看译文

关键词

Computer languages,Program processors,Codes,Unified modeling language,Education,Semantics,Production

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要