A software engineering curriculum incorporating an operational formal method

This project, which is funded by the NSF Educational Innovation Program (CDA-9522257), integrates an operational formal method into the undergraduate software engineering curriculum of the Systems Analysis Department of Miami University. A formal method consists of a mathematical model and methodology to aid in the creation of the specification, design, and verification of a software system. The justification for the introduction of a formal method not only stems from government and industry regulations/standards, but also from the national perception that the discipline of software engineering education lacks sufficient emphasis on mathematics and engineering science.