Increasing Student Self-Reliance and Engagement in Model-Checking Courses
暂无分享,去创建一个
[1] Michael J. Butler,et al. ProB: an automated analysis toolset for the B method , 2008, International Journal on Software Tools for Technology Transfer.
[2] Henrik Nygren,et al. Non-restricted Access to Model Solutions: A Good Idea? , 2019, ITiCSE.
[3] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[4] Anya Tafliovich,et al. On the Evaluation of Student Team Software Development Projects , 2015, SIGCSE.
[5] Michael Leuschel,et al. ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods , 2020, ABZ.
[6] Annemarie S. Palincsar,et al. Motivating Project-Based Learning: Sustaining the Doing, Supporting the Learning , 1991 .
[7] Alex Radermacher,et al. Gaps between industry expectations and the abilities of graduates , 2013, SIGCSE '13.
[8] Helmut Veith,et al. 25 Years of Model Checking - History, Achievements, Perspectives , 2008, 25 Years of Model Checking.
[9] Teaching Model Checking via Games and Puzzles , 2021 .
[10] E. Mazur,et al. Peer Instruction: Ten years of experience and results , 2001 .
[11] Sebastian Krings,et al. Prototyping Games Using Formal Methods , 2021 .
[12] F. Keller. "Good-bye, teacher...". , 1968, Journal of applied behavior analysis.
[13] Dean Knudson,et al. Investigating the skill gap between graduating students and industry expectations , 2014, ICSE Companion.
[14] Leona Schauble,et al. Students' Understanding of the Objectives and Procedures of Experimentation in the Science Classroom , 1995 .