Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Easterbrook, S., Lutz, R., Covington, R., Kelly, J., Ampo, Y., Hamilton, D.: Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering 24(1), 4–14 (1998)
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)
Hall, A.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)
Bowen, J., Hinchey, M.: Seven More Myths of Formal Methods. IEEE Software 12(4) (July 1995)
Bowen, J., Hinchey, M.: Ten Commandments of Formal Methods. IEEE Computer 28(4), 56–63 (1995)
Dijkstra, E.W.: On the cruelty of really teaching computing science. Communications of the ACM 32(12), 1398–1404 (1989)
Ciapessoni, E., Coen-Porisini, A., Crivelli, E., Mandrioli, D., Mirandola, P., Morzenti, A.: From formal models to formally-based methods: an industrial experience. ACM Transactions on Software Engineering and Methodologies 8(1), 79–113 (1999)
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)
Parnas, D.L.: Software engineering programmes are not Computer science Programmes. CRL Report 361, McMaster University, Ontario (1998)
Parnas, D.L., Heninger, K.,, Kallander, K., Shore, J.: Software Requirements for the A-7E Aircraft., Naval Research Laboratory, Report no. 3876 (November 1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mandrioli, D. (2004). Advertising Formal Methods and Organizing Their Teaching: Yes, but .... In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-30472-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23611-5
Online ISBN: 978-3-540-30472-2
eBook Packages: Springer Book Archive