Applying an operational formal method throughout software engineering education
A strategy for integrating formal method application into several courses that are found in a software engineering curriculum is presented. A balance is made between teaching undergraduates material which is traditionally taught at the graduate level and a desire to strengthen both the mathematical basis of software engineering cation and the complex problem solving skills of our resulting software engineers.
formal method software engineering education undergraduate curriculum