WG on Support for Teaching and Learning Formal Methods

Materials generated during ITiCSE Conference

• Report drafts in PDF format
  • final version (5.7) (September 13, 2000) [ 18 pages ]
    the version submitted for final editing - in Word version, header is hidden text
    
  • Earlier versions
    • version 5.6 (September 10, 2000)
    • version 5.5 (August 30, 2000)
    • version 5.4 (August 11, 2000)
    • version 5.3 (August 4, 2000)
    • version 5.2 (August 2, 2000)
    • version 5.1 (July 31, 2000)
    • version 4.0 (July 21, 2000)
    • version 3.0 (July 14, 2000)
       
• Draft description of poster content (July 10) (has not been updated to reflect the actual content)
   
  • Questionnaire distributed during poster session (results to be posted later)

  
   

• Draft outline of report (version 1, July 11)
   
• Neville Dean's questionnaire about use of FMs
  • The questionnaire
  • The summary of the results

Change History:

• ... sorry, this didn't stay up-to-date!!
• 31 July 2000, 0900 CDT: added version 5.1 of the report
• 21 July 2000, 1925 CDT: added version 4 of the report
• 12 July 2000, 1410: Baseline version