Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Inspection of safety-critical software using program-function tables
Software fundamentals
Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development
A pattern system to support refining informal ideas into formal expressions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Hi-index | 0.00 |
Formal methods were developed to provide systematic and rigorous techniques for software development, and they must be taught in the context of software engineering. In this paper, we discuss the importance of such a teaching paradigm and describe several specific techniques for teaching formal methods. These techniques have been tested over the last fifteen years in our formal methods education programs for undergraduate and graduate students at universities as well as practitioners at companies. We also present a curriculum to systematically introduce formal methods to students at university and a successful program of teaching formal methods to industry. Our experience shows that students can gain confidence in formal methods only when they learn their clear benefits in the context of software engineering.