Three-Day Workshop
for instructors of courses on software development

Teaching Software Correctness

May 13 - 15, 2008 - University of Oklahoma, Norman
Enter Workshop Website - Schedule, Discussion Notes, Projects

Offered by
    Rex Page Univ Oklahoma
    Carl Eastlund Northeastern Univ
Up to 20 participants
Registration
: email page@ou.edu
Supported by National Science Foundation
Topic
Automated testing and mechanical logic as practical tools
Goal
  Educational modules for all levels of undergraduate study
Format
Lectures: 9:00-10:30, 1:30-2:30, 5:30-6:00
Labs: 10:30-12:00, 2:30-5:30
No prior experience needed in automated testing or mechanical logic
Expenses
  No fees for the workshop, software tools or computers
  Lodging provided to participants at no charge
    for a limited number of participants

  Participants provide their own transportation and meals

Thesis
Predicate-based automatic testing and mechanical logic are practical tools for software engineering that make defect-free software a feasible and pragmatic goal.

Evidence
Rex Page and Carl Eastlund have successfully used predicate-based automated testing and mechanical logic through the DrScheme / DrACuLa programming environment for both lower and upper division courses on software development. They have found that students experiencing the use of these tools gain an improved understanding of what software bugs are, how to prevent them, and what it means for software to be defect free.

Participant Activities
   - See existing course materials for predicate-based automated testing and mechanical logic
   - Learn through practice in the lab how to use these tools
   - Begin to integrate derived materials into your own educational offerings

Experience reports
    With seniors: Rex Page
    With freshman: Eastlund, Vaillancourt, and Felleisen
    With programming environment: Vaillancourt, Page, and Felleisen