Date: Fri, 30 Jun 2000 14:01:17 -0400
Reply-To: Tom Hilburn <HILBURN@db.erau.edu>
Sender: SIGCSE Member Forum <SIGCSE.MEMBERS@ACM.ORG>
From: Tom Hilburn <HILBURN@db.erau.edu>
Organization: Embry-Riddle University
Subject: Formal methods in the undergraduate curriculum
To: SIGCSE.MEMBERS@ACM.ORG

Dear Colleagues

I would like to solicit information and opinion about the use of formal methods (discrete mathematics, logic and proofs , formal specification/design languages, formal verification techniques, etc.) in the teaching of software engineering (requirements specification, software design, construction, testing, etc.) at the undergraduate level. Here are more specific questions I would like to gather information on:

Have you used formal methods (FM) in teaching a software engineering course or a software engineering topic within another course?
1. What was the type and level of the course?
2. What was the required perquisite knowledge in mathematics?
3. What type FM were used?
4. To what SE topic(s) was the FM applied?
5. What tools (if any) were used?
6. How successful was the used of FM?

The information received will hopefully form part of a report to be compiled by a working group looking into teaching and learning formal methods at ITiCSE2000; for more details see

http://www.cs.utexas.edu/users/csed/formal_methods/CFP.html

You can send your responses to the group or mail them to me directly at hilburn@db.erau.edu

Many thanks in anticipation of your response.

Tom Hilburn

*****************************************
Thomas B. Hilburn, Professor
Department of Computing and Mathematics
Embry-Riddle Aeronautical University
work: 904-226-6889
FAX: 904-226-6678
email: hilburn@db.erau.edu
http://faculty.db.erau.edu/hilburn
*****************************************