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,… (More)
ACKNOWLEDGEMENT I would like to thank Dr. Shengru Tu for guiding me throughout my thesis. Without his help, I could not finish this thesis. I would like to thank Dr. Adlai DePano and Dr. Christopher Taylor to be part of my defense committee members. Lastly, I would like to thank all my friends and my parents who gave me so much love and encouragement.