{"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":1725566860732},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_4","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"47-64","source":"Crossref","is-referenced-by-count":2,"title":["Formal Systems, Not Methods"],"prefix":"10.1007","author":[{"given":"Martin","family":"Loomes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce","family":"Christianson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Davey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Notes on the Synthesis of Form","author":"C. Alexander","year":"1964","unstructured":"Alexander, C.: Notes on the Synthesis of Form. Harvard University Press, Cambridge (1964)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/A:1018983515535","volume":"10","author":"D. Bj\u00f8rner","year":"2000","unstructured":"Bj\u00f8rner, D.: Pinnacles of software engineering: 25 years of formal methods. Annals of Software Engineering\u00a010, 11\u201366 (2000)","journal-title":"Annals of Software Engineering"},{"key":"4_CR3","unstructured":"Boute, R.T.: Some Fundamental Concepts in Computer Science for Telecommunication Engineers. BTM, Antwerp (June 1980)"},{"key":"4_CR4","unstructured":"Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence (1977)"},{"key":"4_CR5","unstructured":"Feyerabend, P.: Against method: outline of an anarchistic theory of knowledge, NLB (1975)"},{"volume-title":"Specification Case Studies","year":"1987","key":"4_CR6","unstructured":"Hayes, I. (ed.): Specification Case Studies. Prentice-Hall, Englewood Cliffs (1987)"},{"key":"4_CR7","unstructured":"Jones, J., Loomes, M., Shaw, R.: An Education Programme for Practising Software Engineers. Proceedings of Software Engineering 86 (1986)"},{"key":"4_CR8","volume-title":"The Scheme Programming Language","author":"R. Kent Dybvig","year":"2003","unstructured":"Kent Dybvig, R.: The Scheme Programming Language, 3rd edn. The MIT Press, Cambridge (2003)","edition":"3"},{"key":"4_CR9","first-page":"151","volume-title":"Problem Solving and Education: Issues in Teaching and Research","author":"G. Kozmetsky","year":"1980","unstructured":"Kozmetsky, G.: The significant role of problem solving in education. In: Tuma, D.T., Reif, F. (eds.) Problem Solving and Education: Issues in Teaching and Research, pp. 151\u2013157. Lawrence Erlbaum, Mahwah (1980)"},{"key":"4_CR10","unstructured":"Loomes, M.J.: Software Engineering Curriculum Design, University of Surrey PhD Thesis (1991), available from the authorm.j.loomes@herts.ac.uk"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Mills, Harlan, D.: Software engineering education. Proceedings of the IEEE, 1158\u20131162 (September 1980)","DOI":"10.1109\/PROC.1980.11814"},{"issue":"10","key":"4_CR12","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/0141-9331(94)90037-X","volume":"18","author":"R. Mitchell","year":"1994","unstructured":"Mitchell, R., Loomes, M.: Howse: Structuring Formal Specifications - A Lesson Relearned. Microprocessors and Microsystems\u00a018(10), 593\u2013599 (1994); Butterworth-Heine, ISSN 0141-9331","journal-title":"Microprocessors and Microsystems"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0165-6074(85)90032-8","volume":"15","author":"P. Naur","year":"1985","unstructured":"Naur, P.: Programming as theory building. Microprocessing and Microprogramming\u00a015, 253\u2013261 (1985); Invited keynote address at Euromicro 84, Copenhagen, Denmark","journal-title":"Microprocessing and Microprogramming"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Popper, K.R.: Conjectures and Refutations. Routledge and Kegan Paul (1963)","DOI":"10.1063\/1.3050617"},{"key":"4_CR15","unstructured":"Ryle, G.: The concept of mind. Peregrin Books (1949)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Loomes, M.: Software Engineering Mathematics. Pitman (1988)","DOI":"10.4324\/9780203212059"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1109\/METRIC.1998.731248","volume-title":"Proceedings of the 5th. International Software Metrics Symposium","author":"R. Vinter","year":"1998","unstructured":"Vinter, R., Loomes, M.J., Kornbrot, D.: Applying Software Metrics to Formal Specification: A Cognitive Approach. In: Proceedings of the 5th. International Software Metrics Symposium, pp. 216\u2013223. IEEE Computer Science Press, Los Alamitos (1998)"},{"key":"4_CR18","volume-title":"The collected works of LS Vygotsky","author":"L.S. Vygotsky","year":"1987","unstructured":"Vygotsky, L.S.: The collected works of LS Vygotsky, vol.\u00a01. Plenum, New York (1987)"}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:53:34Z","timestamp":1605761614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}