Working Documents and Contributions

Support for Teaching and Learning Formal Methods

These documents are contributed by working group members as well as by the advisory board for this ITiCSE Working Group.

from Vicki Almstrum

• Survey regarding "getting started" in formal methods  [ HTML ]
• Doctoral research: Limitations in the Understanding of Mathematical Logic by Novice Computer Science Students
  • Dissertation abstract
  • Paper presented at 1996 DIMACS workshop: Student difficulties with mathematical logic
• The PLT, a simple logic test
  • Paper presented at 1996 DIMACS workshop: The Propositional Logic Test: A Tool for Computer Science Education?
  • About the PLT, a description of the test and its potential uses

from Jonathan Bowen

• Position statement [ 13 pages  PDF (63K)   Postscript (85K) ]

from Dan Craigen

• Position statement [ HTML ]

from Kathi Fisler

• Position statement [ HTML ]
• Joint position statement: Integrating Logic into the Computer Science Curriculum. by Ian Barland, Matthias Felleisen, Kathi Fisler, Phokion Kolaitis, and Moshe Vardi. Adapted from a grant proposal to develop the materials discussed in the paper. [ 7 pages  PDF (52K) ]

from Randy Johnson

• Position statement  [ HTML ]
• Report: The State-of-the-Art in Formal Methods. Malica Barjaktarovic, January 1998. Included with permission from WetStone Technologies.   [ 36 pages  PDF (116K)   Postscript (206K) ]
• Report: Formal Methods Framework. WetStone Technologies, October 26, 1999. (Prepared for Air Force Research Lab/IFGB) Included with permission from WetStone Technologies.   [ 98 pages  PDF (215K)   Postscript (351K) ]

from Don Goelman

• Curricula 1991/2001 and Formal Methods topics [ HTML ]

from David Gries

• Position statement  [ HTML ]

from Tom Hilburn

• Position statement  [ HTML ]
• Survey regarding the use of Formal Methods in SW Engineering courses  [ HTML ]

from Ebba Thora Hvannberg

• Position statement [ HTML ]

from Peter Gorm Larsen

• Position statement [ HTML ]

from J Strother Moore

• Computer-Aided Reasoning with ACL2.    [ 7 pages  PDF (88K)   Postscript (104K) ]
• Description of the new book on ACL2, Computer-Aided Reasoning: An Approach

from Lesley Semmens

• Position statement [ HTML  Word (7K) ]

from Jan Smith

• Position statement [ HTML ]

from Jeannette M. Wing

• Weaving Formal Methods into the Undergraduate Computer Science Curriculum. Jeannette M. Wing. Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST) 2000, Education Day, Iowa City, Iowa, US, May 20-27, 2000.
  
  • Extended abstract, Lecture Notes in Computer Science 1816, Springer Verlag, pp. 2-7. [ 6 pages  PDF (110K)  ]
  • Presentation   [  HTML (32 slides)  ]

Change History:

• 20 July 2000, 9:30pm CDT: Updated J. Bowen position statement; fixed spelling of Lesley Semmen's name.
• 12 July 2000, 1450, Helsinki: Added position statements from J. Bowen and L. Semmens
• 3 July 2000, 7:30am CDT: Added position statement from D. Gries, information from V. Almstrum about doctoral research and PLT
• 2 July 2000: Added position statement from T. Hilburn
• 30 June 2000: Added position statement from R. Johnson, surveys from T. Hilburn and V. Almstrum, update to E. Hvannberg's position statement
• 26 June 2000: Added position statement from E. T. Hvannberg and D. Craigen
• 25 June 2000: Added position statement from J. Smith and curricular discussion from D. Goelman
• 17 June 2000: Added position statement from P. Larsen
• 16 June 2000: Added document from J Moore
• 9 June 2000: Added two documents from R. Johnson
• 8 June 2000: Added two documents from K. Fisler
• 1 June 2000: Baseline version, with documents from J. Wing