Developing verification-driven learning cases

Authors:
Shengru Tu;Sehun James Oh;Rushikesh Kale;Aditya Kallem;Shireesha Tankashala
Affiliations:
University of New Orleans, New Orleans, LA, USA;University of New Orleans, New Orleans, LA, USA;University of New Orleans, New Orleans, LA, USA;University of New Orleans, New Orleans, LA, USA;University of New Orleans, New Orleans, LA, USA
Venue:
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Year:
2010

Citing 11
Cited 2

Test Driven Development: By Example

Test Driven Development: By Example
Real world problems bringing life to course content

CITC5 '04 Proceedings of the 5th conference on Information technology education
From objects-first to design-first with multimedia and intelligent tutoring

ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Test-driven learning: intrinsic integration of testing into the CS/SE curriculum

Proceedings of the 37th SIGCSE technical symposium on Computer science education
What do teachers teach in introductory programming?

Proceedings of the second international workshop on Computing education research
An evalution of the efficacy of seminars in retaining and recruiting computer science majors

Journal of Computing Sciences in Colleges
What is computing?: bridging the gap between teenagers' perceptions and graduate students' experiences

Proceedings of the third international workshop on Computing education research
Does Test-Driven Development Really Improve Software Design Quality?

IEEE Software
Viewpoint: Computing as social science

Communications of the ACM - A Direct Path to Dependable Software
STREAM: A First Programming Process

ACM Transactions on Computing Education (TOCE)
Computer games and traditional CS courses

Communications of the ACM - Finding the Fun in Computer Science Education

Learning to program through use of code verification

Journal of Computing Sciences in Colleges
Comparing learning approaches: sample case studies

Journal of Computing Sciences in Colleges

Quantified Score

Hi-index	0.00

Visualization

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.