A software engineering curriculum incorporating formal methods: A progress report

This project, which is funded by the NSF Educational Innovation Program, integrates a format 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.