Learning to program through use of code verification

Authors:
Theresa Beaubouef;Wendy Zhang
Affiliations:
Southeastern Louisiana University, Hammond, LA;Southeastern Louisiana University, Hammond, LA
Venue:
Journal of Computing Sciences in Colleges
Year:
2012

Citing 10
Cited 0

Real world problems bringing life to course content

CITC5 '04 Proceedings of the 5th conference on Information technology education
On the Effectiveness of the Test-First Approach to Programming

IEEE Transactions on Software Engineering
Why the high attrition rate for computer science students: some thoughts and observations

ACM SIGCSE Bulletin
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
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
A cross-domain visual learning engine for interactive generation of instructional materials

Proceedings of the 39th SIGCSE technical symposium on Computer science education
Viewpoint: Computing as social science

Communications of the ACM - A Direct Path to Dependable Software
Developing verification-driven learning cases

Proceedings of the fifteenth annual conference on Innovation and technology in computer science education

Quantified Score

Hi-index	0.00

Visualization

Abstract

Learning to develop software can be a difficult process. Many students can benefit from an approach to learning that is based on the verification of existing code. Students must understand the requirements, then test and verify that the code performs correctly. In this paper we present some case studies created to enhance student learning of programming, testing, and debugging using this verification-driven approach.