DocumentCode
1597392
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
fYear
2011
Firstpage
129
Lastpage
138
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Education and Training (CSEE&T), 2011 24th IEEE-CS Conference on
Conference_Location
Honolulu, HI
ISSN
1093-0175
Print_ISBN
978-1-4577-0349-2
Electronic_ISBN
1093-0175
Type
conf
DOI
10.1109/CSEET.2011.5876080
Filename
5876080
Link To Document