{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:35Z","timestamp":1725566855755},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_13","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"203-213","source":"Crossref","is-referenced-by-count":3,"title":["Embedding Formal Development in Software Engineering"],"prefix":"10.1007","author":[{"given":"Ken","family":"Robinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_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":"13_CR2","unstructured":"UNSW B Resource Site, http:\/\/www.cse.unsw.edu.au\/b@unsw"},{"key":"13_CR3","unstructured":"ORA Canada. Z\/EVES Z proof assistant, \n                  \n                    http:\/\/www.ora.on.ca\/z-eves\/welcome.html"},{"key":"13_CR4","unstructured":"COMP2110. Software System Specification, \n                  \n                    http:\/\/www.cse.unsw.edu.au\/~cs2110"},{"key":"13_CR5","unstructured":"COMP2111. System Modelling and Development, \n                  \n                    http:\/\/www.cse.unsw.edu.au\/~cs2111"},{"key":"13_CR6","unstructured":"The Joint Task force on Computing Curricula IEEE Computer Society and ACM. Computing curriculum \u2013 software engineering. Technical report, IEEE Computer Society & ACM (2004), \n                  \n                    http:\/\/sites.computer.org\/ccse\/volume\/Draft3.1-2-6-04.pdf"},{"key":"13_CR7","unstructured":"Jia, X.: Ztc: Z type checker, \n                  \n                    http:\/\/se.cs.depaul.edu\/fm\/ztc.html"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-52513-0_10","volume-title":"VDM and Z \u2013 Formal Methods in Software Development","author":"S. King","year":"1990","unstructured":"King, S.: Z and the refinement calculus. In: Bj\u00f8rner, D., Hoare, C.A.R., Langmaack, H. (eds.) VDM 1990. LNCS, vol.\u00a0428, pp. 164\u2013188. Springer, Heidelberg (1990)"},{"key":"13_CR9","unstructured":"Leuschel, M.: ProB, \n                  \n                    http:\/\/www.ecs.soton.ac.uk\/~mal\/systems\/prob.html"},{"key":"13_CR10","unstructured":"B-Core(UK) Ltd. B Toolkit, \n                  \n                    http:\/\/www.b-core.com"},{"key":"13_CR11","unstructured":"Robinson, K.A.: Refining Z specifications to programs. In: Australian Software Engineering Conference, May 1987. I.E.Aust, pp. 87\u201397 (1987)"},{"key":"13_CR12","unstructured":"Robinson, K.: Early experiences in teaching the B-Method. pp. 291\u2013296, Universite de Nantes, Institut de Recherche en Informatique de Nantes (November 1996)"},{"key":"13_CR13","first-page":"127","volume-title":"To Zed and back: Integrating data flow diagrams and Z","author":"K. Robinson","year":"1996","unstructured":"Robinson, K., Ho, P., Schwenke, M.: To Zed and back: Integrating data flow diagrams and Z, July 1996, pp. 127\u2013134. ACM Press, New York (1996)"},{"key":"13_CR14","volume-title":"The B-Method: An Introduction","author":"S. Schneider","year":"2001","unstructured":"Schneider, S.: The B-Method: An Introduction. Palgrave, Oxford (2001)"},{"key":"13_CR15","series-title":"FACIT","volume-title":"Program Development by Refinement","year":"1999","unstructured":"Sekerinski, E., Sere, K. (eds.): Program Development by Refinement, FACIT. Springer, Heidelberg (1999)"},{"key":"13_CR16","unstructured":"SENG2010. Software Engineering Workshop 2A, \n                  \n                    http:\/\/www.cse.unsw.edu.au\/~se2010"},{"key":"13_CR17","unstructured":"SENG2020. Software Engineering Workshop 2B, \n                  \n                    http:\/\/www.cse.unsw.edu.au\/~se2020"},{"key":"13_CR18","unstructured":"Snook, C.: U2B, \n                  \n                    http:\/\/www.ecs.soton.ac.uk\/~cfs\/"},{"key":"13_CR19","unstructured":"Steria, Atelier, B.: \n                  \n                    http:\/\/www.atelierb.societe.com\/"},{"key":"13_CR20","unstructured":"UNSW. Software Engineering Program, \n                  \n                    http:\/\/www.cse.unsw.edu.au\/seng"},{"key":"13_CR21","volume-title":"Software Engineering with the B-Method","author":"J.B. Wordsworth","year":"1996","unstructured":"Wordsworth, J.B.: Software Engineering with the B-Method. Addison-Wesley, Reading (1996)"}],"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_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:28Z","timestamp":1620014548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}