{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T19:56:10Z","timestamp":1773086170571,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439288","type":"print"},{"value":"9783540456148","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_13","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"224-233","source":"Crossref","is-referenced-by-count":17,"title":["Correctness by Construction: Integrating Formality into a Commercial Development Process"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Hall","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"13_CR1","unstructured":"See http:\/\/www.multos.com"},{"key":"13_CR2","unstructured":"Barnes, J., High Integrity Ada-The SPARK Approach. Addison Wesley, 1997. See also http:\/\/www.sparkada.com"},{"issue":"8","key":"13_CR3","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1109\/32.879807","volume":"26","author":"S. King","year":"2000","unstructured":"Steve King, Jonathan Hammond, Rod Chapman and Andy Pryor Is Proof More Cost-Effective Than Testing?, IEEE Transactions on Software Engineering, Vol 26 No 8, pp675\u2013686 (August 2000).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR4","unstructured":"Information Technology Security Evaluation Criteria (ITSEC), Provisional Harmonised Criteria, Version 1.2, June 1991."},{"key":"13_CR5","unstructured":"CESG Computer Security Manual \u2018F\u2019-A Formal Development Method for High Assurance Systems, Communications Electronics Security Group, 1995."},{"key":"13_CR6","unstructured":"Jonathan Hammond, Rosamund Rawlings and Anthony Hall, Will it Work? Proceedings of RE\u201901, 5th International Symposium on Requirements Engineering August 2001."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Anthony Hall and Roderick Chapman, Correctness by Construction: Developing a Commercial Secure System, IEEE Software, Jan\/Feb 2002, pp18\u201325.","DOI":"10.1109\/52.976937"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:44Z","timestamp":1556409944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}