{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:42Z","timestamp":1725566862286},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236115"},{"type":"electronic","value":"9783540304722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30472-2_14","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"214-224","source":"Crossref","is-referenced-by-count":4,"title":["Advertising Formal Methods and Organizing Their Teaching: Yes, but ..."],"prefix":"10.1007","author":[{"given":"Dino","family":"Mandrioli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/32.663994","volume":"24","author":"S. Easterbrook","year":"1998","unstructured":"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\u00a024(1), 4\u201314 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"14_CR2","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","volume":"29","author":"H. Saiedian","year":"1996","unstructured":"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\u00a029(4), 16\u201330 (1996)","journal-title":"IEEE Computer"},{"issue":"5","key":"14_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"A. Hall","year":"1990","unstructured":"Hall, A.: Seven Myths of Formal Methods. IEEE Software\u00a07(5), 11\u201319 (1990)","journal-title":"IEEE Software"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bowen, J., Hinchey, M.: Seven More Myths of Formal Methods. IEEE Software\u00a012(4) (July 1995)","DOI":"10.1109\/52.391826"},{"issue":"4","key":"14_CR5","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J. Bowen","year":"1995","unstructured":"Bowen, J., Hinchey, M.: Ten Commandments of Formal Methods. IEEE Computer\u00a028(4), 56\u201363 (1995)","journal-title":"IEEE Computer"},{"issue":"12","key":"14_CR6","first-page":"1398","volume":"32","author":"E.W. Dijkstra","year":"1989","unstructured":"Dijkstra, E.W.: On the cruelty of really teaching computing science. Communications of the ACM\u00a032(12), 1398\u20131404 (1989)","journal-title":"Communications of the ACM"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/295558.295566","volume":"8","author":"E. Ciapessoni","year":"1999","unstructured":"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\u00a08(1), 79\u2013113 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodologies"},{"key":"14_CR8","unstructured":"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)"},{"key":"14_CR9","unstructured":"Parnas, D.L.: Software engineering programmes are not Computer science Programmes. CRL Report 361, McMaster University, Ontario (1998)"},{"key":"14_CR10","unstructured":"Parnas, D.L., Heninger, K.,, Kallander, K., Shore, J.: Software Requirements for the A-7E Aircraft., Naval Research Laboratory, Report no. 3876 (November 1978)"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30472-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:29Z","timestamp":1620014549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}