Advertising formal methods and organizing their teaching: Yes, but

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3294, Issue , 2004, Pages 214-224

  Mandrioli, Dino ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

POSITION PAPERS;

FORMAL METHODS;

EID: 35048879178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30472-2_14     Document Type: Article

References (10)

1. 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, Vol. 24, no. 1, pp. 4-14, 1998
2. Saiedian, H., Bowen, J. P., Butler, R. W., Dill, D. L., Glass, R. L., Cries, D., Hall, A., Hinchey, M. G., Holloway, C. M., Jackson, D., Jones, C. B., Lutz, M. J., Parnas, D. L., Rushby, J., Wing, J. and Zave, P.. "An Invitation to Formal Methods". IEEE Computer, Vol. 29, no.4, pp. 16-30, 1996.
3. Hall A. "Seven Myths of Formal Methods", IEEE Software, Vol. 7, no. 5, pp. 11-19, September 1990.
4. Bowen J., Hinchey M., "Seven More Myths of Formal Methods", IEEE Software, Vol. 12, no. 4, July 1995
5. Bowen J., Hinchey M., "Ten Commandments of Formal Methods", IEEE Computer, Vol., 28, no. 4, pp. 56-63, April 1995.
6. Dijkstra. E.W., "On the cruelty of really teaching computing science". Communications of the ACM, Vol. 32, no.12, pp. 1398-1404, 1989.
7. 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, Vol. 8. no 1, pp.79-113, January 1999.
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", Proceedings of the UML'03 workshop on Critical Systems Development with UML, San Francisco, CA, October 21 2003.
9. Parnas D.L, "Software engineering programmes are not Computer science Programmes", CRL Report 361, McMaster University, Ontario, 1998.
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.