Experience integrating a formal method into a software engineering course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
A Discipline of Programming
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
An Invitation to Formal Methods
Computer
Turing the tables: introducing software engineering concepts in a user interface design course
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
| Hi-index | 0.01 |
A three year study of integrating formal methods into the undergraduate software engineering curriculum of the Systems Analysis Department of Miami University was recently completed (NSF Educational Innovation Program CDA-9522257). Formal analysis skills were added to the curriculum to address the concern that the discipline of software engineering education lacks sufficient emphasis on mathematics and engineering science. A presentation of the six courses chosen for integration of formal analysis is given. The empirical data which directly compares the problem solving skills of the formal methods and control student groups shows that the formal methods students possess an increased level of complex problem solving skills as well as a greater ability to perform problem abstraction.