*Formal Methods*Educational Resources

Formal Methods Education Resources

Position Papers Page

Main Page | Courses | Examples | Readings | Position Papers | Instructional Materials | Tools | Jobs | Submit

  • TitleReport on the 21st Century Engineering Consortium Workshop
    AuthorSteven D. Johnson, W. P. Alexander, Ganesh Gopalakrishnan, Shiu-Kai Chin
    NotesThe XXIEC workshop, sponsored by DARPA/ITO and Rome Lab and held in March 1998, was held to initiate discussion of educational issues related to formal methods and take steps toward establishing an academic/industrial/governmental interest group to advocate educational initiatives. This report is a consolidation of viewpoints expressed at the workshop. It includes general advice and a number of specific recommendations furthering educational initiatives. Responses are solicited and will be appended to the report.
  • TitleExperience Teaching Z with Tool and Web Support
    Notespublished in ACM SIGSOFT Software Engineering Notes, 26(2):69-75, March 2001.

  • This site is currently maintained by Kathi Fisler
    Department of Computer Science, Worcester Polytechnic Institute
    Last updated on Saturday, 24-Jun-2006 21:47:30 EDT