{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:16:24Z","timestamp":1743095784956,"version":"3.40.3"},"publisher-location":"Cham","reference-count":4,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_14","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"184-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["What IS a BoK? Large \u2013 Extended Abstract \u2013"],"prefix":"10.1007","author":[{"given":"Tom","family":"Maibaum","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-1-84882-912-1_7","volume-title":"Reflections on the Work of CAR Hoare","author":"M Jackson","year":"2010","unstructured":"Jackson, M.: The operational principle and problem frames. In: Roscoe Bill, A.W., Jones, C.B., Wood, K.R. (eds.) Reflections on the Work of CAR Hoare, pp. 143\u2013165. Springer, London (2010)"},{"key":"14_CR2","volume-title":"Personal Knowledge: Towards a Post-critical Philosophy","author":"M Polanyi","year":"1958","unstructured":"Polanyi, M.: Personal Knowledge: Towards a Post-critical Philosophy. Routledge & Kegan Paul, London (1958). Reprinted by University of Chicago Press (1974)"},{"key":"14_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-06683-4","volume-title":"The Nature of Engineering: A Philosophy of Technology","author":"GFC Rogers","year":"1983","unstructured":"Rogers, G.F.C.: The Nature of Engineering: A Philosophy of Technology. Macmillan Press, London (1983)"},{"key":"14_CR4","doi-asserted-by":"crossref","DOI":"10.56021\/9780801839740","volume-title":"What Engineers Know and How They Know It: Analytical Studies from Aeronautical History","author":"WG Vincenti","year":"1990","unstructured":"Vincenti, W.G.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1990)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T22:48:06Z","timestamp":1676846886000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}