Templates for Reviews

Support for Teaching and Learning Formal Methods

These templates will provide a starting point for the work in evaluating resources that support the teaching and learning of formal methods.

Please send suggestions for changes and additions to Vicki.

Suggested template for reporting on software

• Cost and Availability
• List of Reviews
  • including any reviews from the working group or advisory board
• Examples of Use in Academia
  • how used, e.g.
    • as a tool for doing formal methods
    • as a tool for teaching/learning concepts
  • level such as undergraduate or graduate/postgraduate ...
• List of Supporting Resources for Teaching and Learning
  • e.g., textbooks, short course which might be attended by educators, on-line tutorials

---

Suggested template for reporting on Web-based resources

• List of Related Web Sites
• Reviews of each Site
  • include a summary of the nature of each site and what it provides.
• Examples of Typical Use
• Data on Effectiveness in Teaching/Learning
• Experiences in Using the Resources

Change History:

• 1 June 2000: Baseline version based on Neville Dean's proposal