Distributed Teaching of Formal Methods
- 270 Downloads
This paper argues that the education in formal methods cannot be located in a few distinguished courses. Rather it has to spread throughout the curriculum such that its spirit is found in many courses. To this end, one needs a way of presenting the underlying concepts of formal methods in an informal style that is amenable even to beginner students.
KeywordsFormal Method Formal Reasoning Soft Skill Abstract State Machine Solution Principle
Unable to display preview. Download preview PDF.
- 1.Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Computer 28(4), 56–63 (1995)Google Scholar
- 2.Hinchey, M.G., Bowen, J.P.: Seven more myths of formal methods: Dispelling industrial prejudices. In: Bertran, M., Naftalin, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873, pp. 105–117. Springer, Heidelberg (1994)Google Scholar
- 6.Pepper, P.: Programmieren mit Java. Springer, Heidelberg (2004)Google Scholar
- 7.Johnson, S.D., Alexander, W.P., Chin, S.-K., Gopalakrishnan, G.: 21st century engineering consortium workshop (XXIEC): a forum on formal methods education. Technical report (March 1998), http://www.cs.indiana.edu/formal-methods-education/xxiec/report.html