Deliverables

---

Working Deliverables

• A template of information we want to generate about tools and products we might include in the report. It would make sense to have each member work to fill in one or more such templates before we meet in Helsinki. We could then use that as the basis for our report.
• A list of software with a brief description of each package.
• A questionnaire on the extent and nature of current software use in education and practice.
• Everyone to plan out an article that can become part of the web site and to which we can make reference from our final report.
• Poster session on findings-to-date late at the end of the first day of the conference (Tuesday afternoon). At this session, we will interact with conference participants and get their feedback.

End Products

The Formal Methods Working Group will produce two major deliverables. The first will be the report that, if accepted, will be published as part of the December 2000 SIGCSE Bulletin. This report will provide the CS Education community with a static resource on the topic of formal methods. The report may be seen as a "handbook" for educators that will enable them to make effective use of the available materials.

The second deliverable from this WG will be web-based materials from the report, which will provide a dynamic and enduring resource on this topic. The working group will determine the best host for the material; one possibility is the server at UT Austin. The working group will also ensure that these materials are linked into the appropriate points throughout the World Wide Web, including the Formal Methods Educational Materials Repository (http://www.cs.indiana.edu/formal-methods-education/), Jonathan Bowen's formal methods web site (http://archive.comlab.ox.ac.uk/formal-methods.html), and other sites related to formal methods.

[return to top]

Change History:

• 25 May 2000: Baseline version