{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:40Z","timestamp":1725566860364},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_16","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T16:07:39Z","timestamp":1285258059000},"page":"235-248","source":"Crossref","is-referenced-by-count":9,"title":["A Survey of Formal Methods Courses in European Higher Education"],"prefix":"10.1007","author":[{"given":"J. N.","family":"Oliveira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"key":"16_CR2","unstructured":"Bowen, J.: World wide web virtual library of formal methods (2004), Available from http:\/\/www.afm.sbu.ac.uk"},{"key":"16_CR3","unstructured":"Cuadrado, J.: Teach formal methods. Byte, p. 292 (December 1994)"},{"key":"16_CR4","volume-title":"Modelling Systems: Practical Tools and Techniques for Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques for Software Development, 1st edn. Cambridge University Press, Cambridge (1998)","edition":"1"},{"key":"16_CR5","volume-title":"Introduction to Programming using SML","author":"M.R. Hansen","year":"1999","unstructured":"Hansen, M.R., Rischel, H.: Introduction to Programming using SML. Addison-Wesley, Reading (1999) ISBN 0-201-39820-6"},{"key":"16_CR6","first-page":"608","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual, p. 608. Addison-Wesley, Reading (2003) ISBN 0-321-22862-6"},{"key":"16_CR7","volume-title":"Haskell 98 Language and Libraries","author":"S.L. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.L.: Haskell 98 Language and Libraries. Cambridge University Press, Cambridge (2003); Also published as a Special Issue of the Journal of Functional Programming 13(1) (January 2003)"},{"issue":"1-2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1998","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAALin a nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1998)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"16_CR9","unstructured":"Fisler, K.: (maintainer). Formal methods education resources, Website hosted by the Department of Computer Science,Worcester Polytechnic Institute. (2002), Available from http:\/\/www.cs.indiana.edu\/formal-methods-education\/"},{"key":"16_CR10","unstructured":"Mandrioli, D.: A few preliminary thoughts about education on formal methods within (university) curricula, Working document available from the FME-SoE website (2003)"},{"issue":"8","key":"16_CR11","first-page":"754","volume":"7","author":"J.N. Oliveira","year":"2001","unstructured":"Oliveira, J.N.: Bagatelle in C arranged for VDM SoLo. Journal of Universal Computer Science\u00a07(8), 754\u2013781 (2001) Special Issue on Formal Aspects of Software Engineering (Colloquium in Honor of Peter Lucas, Institute for Software Technology, Graz University of Technology, May 18-19, 2001)","journal-title":"Journal of Universal Computer Science"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"The Joint ACM\/IEEE-CS Task Force on Computing Curricula. Computing curricula 2001: Computer Science \u2014 Final Report. Technical report, Association for Computing Machinery and IEEE Computer Society (December 2001)","DOI":"10.1145\/384274.384275"},{"key":"16_CR13","unstructured":"The Joint ACM\/IEEE-CS Task Force on Computing Curricula. Computing curriculum - Software Engineering. Technical report, Software Engineering Education Knowledge (SEEK), Public Draft 3.1 (February 2004)"},{"key":"16_CR14","unstructured":"FME Subgroup on Education. A survey of formal methods courses in european higher education (2004), Web version (HTML) available from http:\/\/www.fmeurope.org\/\u2192FormalMethods\u2192Education"},{"key":"16_CR15","unstructured":"Spivey, J.M.: The Z Notation \u2014A Reference Manual. Series in Computer Science. Prentice-Hall International, Hoare, C. A. R. (1989)"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T09:13:56Z","timestamp":1685783636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}