Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
- 269 Downloads
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasionally even provocative: for every examined point some obvious agreement is given for granted but a few, more controversial, “counterpoints” are raised and hints are suggested for deeper discussion. At the end a constructive synthesis is attempted.
KeywordsSoftware Engineering Formal Method Requirement Elicitation Engineering Curriculum Brute Force Algorithm
Unable to display preview. Download preview PDF.
- 2.Saiedian, H., Bowen, J.P., Butler, R.W., Dill, D.L., Glass, R.L., Gries, D., Hall, A., Hinchey, M.G., Holloway, C.M., Jackson, D., Jones, C.B., Lutz, M.J., Parnas, D.L., Rushby, J., Wing, J., Zave, P.: An Invitation to Formal Methods. IEEE Computer 29(4), 16–30 (1996)Google Scholar
- 4.Bowen, J., Hinchey, M.: Seven More Myths of Formal Methods. IEEE Software 12(4) (July 1995)Google Scholar
- 5.Bowen, J., Hinchey, M.: Ten Commandments of Formal Methods. IEEE Computer 28(4), 56–63 (1995)Google Scholar
- 6.Dijkstra, E.W.: On the cruelty of really teaching computing science. Communications of the ACM 32(12), 1398–1404 (1989)Google Scholar
- 8.Cigoli, S., Leblanc, P., Malaponti, S., Mandrioli, D., Mazzucchelli, M., Morzenti, A., Spoletini, P.: An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application. In: Proceedings of the UML 2003 workshop on Critical Systems Development with UML, San Francisco, CA, October 21 (2003)Google Scholar
- 9.Parnas, D.L.: Software engineering programmes are not Computer science Programmes. CRL Report 361, McMaster University, Ontario (1998)Google Scholar
- 10.Parnas, D.L., Heninger, K.,, Kallander, K., Shore, J.: Software Requirements for the A-7E Aircraft., Naval Research Laboratory, Report no. 3876 (November 1978)Google Scholar