Title :
Turning real-world systems into verification-driven learning cases
Author :
Shengru Tu ; Tankashala, S. ; Sehun Oh ; Becker, B. ; Horton, B. ; Kallem, A. ; Zhao Yang ; Hartman, L. ; Wagner, Dietmar
Author_Institution :
Dept. of Comput. Sci., Univ. of New Orleans, New Orleans, LA, USA
Abstract :
Based on the verification-driven learning (VDL) model, we have proposed a methodology for turning real-world software systems into platforms for CS students to carry out active and in-depth studies in software development. The purpose of the VDL model is to enrich the context of software engineering education. VDL cases can be a supplement to other teaching approaches to software engineering.
Keywords :
computer aided instruction; computer science education; software engineering; teaching; CS students; real world software systems; software development; software engineering education; teaching approaches; verification driven learning cases; Computational modeling; Education; Simple object access protocol; Software; Software engineering; Testing; Unified modeling language;
Conference_Titel :
Software Engineering Education and Training (CSEE&T), 2011 24th IEEE-CS Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-1-4577-0349-2
Electronic_ISBN :
1093-0175
DOI :
10.1109/CSEET.2011.5876080
