Turning real-world systems into verification-driven learning cases

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.

[1]  Paul Franz Brandwein,et al.  The Teaching of science , 1962 .

[2]  Moonsuk Jang,et al.  A Comparison of Features of Ajax's Data Formats for the Medicinal Plants Application , 2010, 2010 2nd International Conference on Information Technology Convergence and Services.

[3]  Bijan Parsia,et al.  SPARQL-DL: SPARQL Query for OWL-DL , 2007, OWLED.

[4]  Nenad Stankovic.  Single Development Project , 2008, 2008 21st Conference on Software Engineering Education and Training.

[5]  Sandra Gorka,et al.  Curriculum Guidelines for Undergraduate Degree Programs in Information Technology , 2008 .

[6]  Lon Smith,et al.  An evalution of the efficacy of seminars in retaining and recruiting computer science majors , 2007 .

[7]  K. Engle.  Problem-Based Learning: An Approach to Medical Education , 1981 .

[8]  Fangfang Liu,et al.  An Online Ontology Navigator for Web Applications in Education , 2010, CSEDU.

[9]  Chetan Shah,et al.  Enquiry , 1882, Nature.

[10]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[11]  Fang Wei,et al.  From objects-first to design-first with multimedia and intelligent tutoring , 2005, ITiCSE '05.

[12]  Deborah Allen,et al.  The power of problem-based learning : a practical "how to" for teaching undergraduate courses in any discipline , 2001 .

[13]  Aybüke Aurum,et al.  Knowledge management in software engineering education , 2004, IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings..

[14]  Amy Bruckman,et al.  What is computing?: bridging the gap between teenagers' perceptions and graduate students' experiences , 2007, ICER '07.

[15]  Shengru Tu,et al.  Developing verification-driven learning cases , 2010, ITiCSE '10.

[16]  Gilbert W. Laware,et al.  Real world problems bringing life to course content , 2004, CITC5 '04.

[17]  David S. Janzen,et al.  Does Test-Driven Development Really Improve Software Design Quality? , 2008, IEEE Software.

[18]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[19]  R. Tamblyn,et al.  Problem-based learning : an approach to medical education , 1980 .

[20]  Michael Kölling,et al.  STREAM: A First Programming Process , 2009, TOCE.

[21]  Hassan Gomaa,et al.  Designing Software Product Lines with UML , 2005, 29th Annual IEEE/NASA Software Engineering Workshop - Tutorial Notes (SEW'05).

[22]  J. J. Carroll.  The Power of Problem-Based Learning. , 2005 .

[23]  David S. Janzen,et al.  Test-driven learning: intrinsic integration of testing into the CS/SE curriculum , 2006, SIGCSE '06.