{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:02:20Z","timestamp":1725487340697},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/3-540-44880-2_29","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"497-512","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Specification in B of a Medical Decision Support System"],"prefix":"10.1007","author":[{"given":"Christine","family":"Poerschke","sequence":"first","affiliation":[]},{"given":"David E.","family":"Lightfoot","sequence":"additional","affiliation":[]},{"given":"John L.","family":"Nealon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"issue":"5","key":"29_CR1","doi-asserted-by":"publisher","first-page":"S1","DOI":"10.1002\/(SICI)1096-9136(199712)14:5+3.3.CO;2-I","volume":"14","author":"A.F. Amos","year":"1997","unstructured":"Amos AF, McCarty DJ, Zimmet P (1997) The rising global burden of diabetes and its complications: estimates and projections to the year 2010. Diabetic Medicine, 14 Suppl 5, S1\u201385.","journal-title":"Diabetic Medicine"},{"key":"29_CR2","unstructured":"National Institute of Diabetes and Digestive and Kidney Diseases. American Diabetes Control and Complications Trial. Retrieved on 22 October 2002 from: http:\/\/www.niddk.nih.gov\/health\/diabetes\/pubs\/dcct1\/dcct.htm."},{"key":"29_CR3","unstructured":"Diabetes Trials Unit, Oxford University. United Kingdom Prospective Diabetes Study. Retrieved on 22 October 2002 from: http:\/\/www.dtu.ox.ac.uk\/ukpds\/index.html."},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"317","DOI":"10.3109\/14639239608999292","volume":"21","author":"R.R. Holman","year":"1996","unstructured":"Holman RR, Smale AD, Pemberton E, Riefflin A, Nealon JL (1996) Randomized controlled pilot trial of a hand-held patient-oriented, insulin regimen optimizer. Medical Informatics (London), 21, 317\u2013326.","journal-title":"Medical Informatics (London)"},{"issue":"2","key":"29_CR5","first-page":"A1933","volume":"51","author":"S. Gallo","year":"2002","unstructured":"Gallo S, Poerschke C, Barrow BA, Blackwell L, Nealon JL, Holman RR (2002) Handheld insulin dose advisor. Diabetes, 51 Suppl 2, A1933.","journal-title":"Diabetes"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/0266-9838(87)90030-X","volume":"2","author":"B.S. Todd","year":"1987","unstructured":"Todd BS (1987) A model-based diagnostic program. Software Engineering Journal, 2, 54\u201363.","journal-title":"Software Engineering Journal"},{"key":"29_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.3109\/14639239508995004","volume":"20","author":"B.S. Todd","year":"1995","unstructured":"Todd BS, Ledger WL (1995) A computer-based flowcharting system for clinical protocols. Medical Informatics (London), 20, 177\u2013198.","journal-title":"Medical Informatics (London)"},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1080\/146392399298500","volume":"24","author":"B.S. Todd","year":"1999","unstructured":"Todd BS, Andrews DC (1999) The formal specification of an electrocardiogram compressor. Medical Informatics and the Internet in Medicine, 24, 11\u201332.","journal-title":"Medical Informatics and the Internet in Medicine"},{"key":"29_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-60973-3_83","volume-title":"FME\u2019 96: Industrial Benefit and Advances in Formal Methods","author":"V. Kasurinen","year":"1996","unstructured":"Kasurinen V, Sere K (1996) Integrating Action Systems and Z in a Medical System Specification. FME\u2019 96: Industrial Benefit and Advances in Formal Methods (Lecture Notes in Computer Science 1051), 105\u2013119."},{"key":"29_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/3-540-60973-3_84","volume-title":"FME\u2019 96: Industrial Benefit and Advances in Formal Methods","author":"R. Groenboom","year":"1996","unstructured":"Groenboom R, Saaman E, Rotterdam E, de Lavalette G (1996) Formalizing Anaesthesia: a Case Study in Formal Specification. FME\u2019 96: Industrial Benefit and Advances in Formal Methods (Lecture Notes in Computer Science 1051), 120\u2013139."},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/99571.99814","volume":"15","author":"J. Jacky","year":"1990","unstructured":"Jacky J (1990) Formal specification for a clinical cyclotron control system. ACM SIGSOFT Software Engineering Notes (Conference Proceedings on Formal Methods in Software Development), 15, 45\u201354.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"29_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/BFb0024658","volume-title":"FME\u2019 93: Industrial-Strength Formal Methods","author":"J. Jacky","year":"1993","unstructured":"Jacky J (1993) Specifying a Safety-Critical Control System in Z. FME\u2019 93: Industrial-Strength Formal Methods (Lecture Notes in Computer Science 670), 388\u2013402."},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.345826","volume":"21","author":"J. Jacky","year":"1995","unstructured":"Jacky J (1995) Specifying a Safety-Critical Control-System in Z. IEEE Transactions on Software Engineering, 21, 99\u2013106.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"29_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/3-540-60271-2_128","volume-title":"ZUM\u2019 95: The Z Formal Specification Notation","author":"J. Jacky","year":"1995","unstructured":"Jacky J, Unger J (1995) From Z to Code: A Graphical User Interface for a Radiation Therapy Machine, ZUM\u2019 95: The Z Formal Specification Notation (Lecture Notes in Computer Science 967), 315\u2013333."},{"key":"29_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BFb0027295","volume-title":"ZUM\u2019 97: The Z Formal Specification Notation","author":"J. Jacky","year":"1997","unstructured":"Jacky J, Unger J, Patrick M, Reid D, Risler R (1997) Experience with Z Developing a Control Program for a Radiation Therapy Machine, ZUM\u2019 97: The Z Formal Specification Notation (Lecture Notes in Computer Science 1212), 317\u2013328."},{"key":"29_CR16","unstructured":"Lanet JL, Lartigue P (1998) The Use of Formal Methods for Smart Cards, a Comparison between B and SDL to Model the T=1 Protocol. Proceedings of International Workshop on Comparing Systems Specification Techniques."},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Requet A, Bossu G (2000) Embedding Formally Proved Code in a Smart Card: Converting B to C. Proceedings of ICFEM\u2019 00, 15\u201324.","DOI":"10.1109\/ICFEM.2000.873801"},{"key":"29_CR18","unstructured":"Chun KY, Hung DV (2002) Specification and Verification of Spatial Data Types with B-Toolkit. Proceedings of COMPSAC\u2019 02, 711\u2013716."}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:16:45Z","timestamp":1675714605000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}