Teaching formal methods early in the software engineering curriculum

Organizations responsible for a wide range of applications have found it necessary to find an improved means of intellectual control over their complex system development and that formal methods can meet this need. Against this background, the importance of including the definition and application of a formal method into the undergraduate curriculum is emphasized to increase the complex problem solving skills of the software engineer. Further it is emphasized that formal analysis should be introduced early into the undergraduate curriculum to ensure substantial learning, use, and training in formal methods application.