{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:58Z","timestamp":1725516538752},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_8","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"64-69","source":"Crossref","is-referenced-by-count":1,"title":["Some Interdisciplinary Observations about Getting the \u201cRight\u201d Specification"],"prefix":"10.1007","author":[{"given":"Cliff B.","family":"Jones","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Software Engineering (3 vols.)","author":"D. Bj\u00f8rner","year":"2005","unstructured":"Bj\u00f8rner, D.: Software Engineering (3 vols.). Springer, Heidelberg (2005)"},{"key":"8_CR2","unstructured":"Da Cunha, A.D., Greathead, D.: Does personality matter? an analysis of code-review ability. In: Communications of the ACM (in press, 2006)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-45236-2_10","volume-title":"FME 2003: Formal Methods","author":"I. Hayes","year":"2003","unstructured":"Hayes, I., Jackson, M., Jones, C.: Determining the specification of a control system from that of its environment. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 154\u2013169. Springer, Heidelberg (2003)"},{"key":"8_CR4","unstructured":"Jones, C., Hayes, I., Jackson, M.: Specifying systems that connect to the physical world. Acta Informatica (submitted, 2006)"},{"key":"8_CR5","volume-title":"mural: A Formal Development Support System","author":"C.B. Jones","year":"1965","unstructured":"Jones, C.B., Jones, K.D., Lindsay, P.A., Moore, R.: mural: A Formal Development Support System. Springer, Heidelberg (1965)"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/2.488361","volume":"29","author":"C.B. Jones","year":"1996","unstructured":"Jones, C.B.: A rigorous approach to formal methods. IEEE, Computer\u00a029(4), 20\u201321 (1996)","journal-title":"IEEE, Computer"},{"issue":"1835","key":"8_CR7","doi-asserted-by":"publisher","first-page":"2395","DOI":"10.1098\/rsta.2005.1653","volume":"363","author":"C.B. Jones","year":"2005","unstructured":"Jones, C.B.: Reasoning about the design of programs. Royal Soc. Phil. Trans. R Soc. A\u00a0363(1835), 2395\u20132396 (2005)","journal-title":"Royal Soc., Phil. Trans. R Soc. A"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1093\/spp\/21.4.233","volume":"21","author":"D. MacKenzie","year":"1994","unstructured":"MacKenzie, D.: Computer-related accidental death: an empirical exploration. Science and Public Policy\u00a021, 233\u2013248 (1994)","journal-title":"Science and Public Policy"},{"key":"8_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4529.001.0001","volume-title":"Mechanizing Proof: Computing, Risk, and Trust","author":"D. MacKenzie","year":"2001","unstructured":"MacKenzie, D.: Mechanizing Proof: Computing, Risk, and Trust. MIT Press, Cambridge (2001)"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262134606.001.0001","volume-title":"An Engine, Not a Camera: How Financial Models Shape Markets","author":"D. MacKenzie","year":"2006","unstructured":"MacKenzie, D.: An Engine, Not a Camera: How Financial Models Shape Markets. MIT Press, Cambridge, Mass (2006)"},{"key":"8_CR11","volume-title":"Normal Accidents","author":"C. Perrow","year":"1999","unstructured":"Perrow, C.: Normal Accidents. Princeton University Press, Princeton (1999)"},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"J. Reason","year":"1990","unstructured":"Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)"},{"key":"8_CR13","unstructured":"Reason, J.: Managing the Risks of Organisational Accidents. Ashgate Publishing Limited (1997)"},{"key":"8_CR14","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. In: Proceedings of 3rd Workshop on Human Error. HESSD 1999, pp. 1\u201318 (1999)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Strigini, L., Povyakalo, A., Alberdi, E.: Human machine diversity in the use of computerised advisory systems: A case study. In: DSN 2003-IEEE International Conference on Dependable Systems and Networks, San Francisco, USA, pp. 249\u2013258 (2003)","DOI":"10.1109\/DSN.2003.1209935"},{"key":"8_CR16","unstructured":"Weinberg, G.M.: The Psychology of Computer Programming. Van Norstrand (1971)"},{"key":"8_CR17","unstructured":"WWW (2006), \n                    \n                      www.dirc.org.uk"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:13:53Z","timestamp":1551514433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}