Developing verification-driven learning cases

Abstract

We have proposed a verification-driven learning model that facilitates students' involvement in real-world computing tasks starting from their early computing courses and continuing throughout their entire computing studies. The initial purpose of the verification-driven learning model is to enrich the context of lessons, courses, and the CS programs, especially in the early stage of students' learning. Verification-driven learning cases can serve to supplement other teaching approaches such as process-oriented learning model. Students' independent practice of verification will encourage them to consider the real-world applications throughout the simulation. Copyright 2010 ACM.