{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:24Z","timestamp":1725664704260},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_84","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:09:25Z","timestamp":1330272565000},"page":"120-139","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing Anaesthesia: A case study in formal specification"],"prefix":"10.1007","author":[{"given":"Rix","family":"Groenboom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Saaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Rotterdam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Renardel deLavalette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","unstructured":"N. Chomsky. A minimalist program for linguistic theory. Technical report, MIT Occasional Papers in Linguistics, 1992."},{"key":"8_CR2","unstructured":"R. Cooper, J. Farringdon, J. Fox and T. Shallice. Levels of description in specifying Soar. In: Proceedings EuroSoar-5,1991."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"D. John Doyle. Computer Programs in Clinical and Laboratory Medicine. Springer Verlag, 1989.","DOI":"10.1007\/978-1-4612-3576-7"},{"key":"8_CR4","unstructured":"L.M.G. Feijs and H.B.M. Jonkers. Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science 35. Cambridge University Press, 1994."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"D. Fensel and F. van Harmelen: A Comparison Of Languages Which Operationalize And Formalize KADS Models of Expertise, The Knowledge Engineering Review, vol 9(2), 1994.","DOI":"10.1017\/S0269888900006767"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"M. Fieschi. Artificial Intelligence in Medicine. Chapman and Hall, 1990. Original title: Intelligence Artificielle en M\u00e9decine des Syst\u00e8mes experts (translated by D. Cramp).","DOI":"10.1007\/978-1-4899-3428-4"},{"key":"8_CR7","unstructured":"M. Fr\u00f6hlick and M. Werner. daVinci V1.4 User Manual. Department of Computer Science, University of Bremen, January 1995."},{"key":"8_CR8","unstructured":"A.F. de Geus. The Carola Database \u2014 User Manual. Department of Anaesthesiology, University Hospital Groningen, 1990."},{"key":"8_CR9","unstructured":"A.F. de Geus and E.P. Rotterdam. Decision Support in Anaesthesia. PhD thesis, Department of Anaesthesiology, University of Groningen, 1992."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"F. de Geus, E. Rotterdam, S. van Denneheuvel,and P. van Emde Boas. Physiological modeling using RL. In M. Stefanelli, A. Hasman, M. Fieschi, and J. Talmon, editors, Proceedings of AIME '91, pages 198\u2013210. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-48650-0_16"},{"key":"8_CR11","unstructured":"R. Groenboom and G.R. Renardel de Lavalette. Formal Specification and Soar: does cognitive science need formalisms. In: Proceedings of workshop Euro-Soar6, 1992."},{"key":"8_CR12","first-page":"87","volume-title":"Proceedings Accolade '94","author":"R. Groenboom","year":"1995","unstructured":"R. Groenboom, R.M. Tol, and E. Saaman. Formal specification and design of a simple real time kernel. In A. Nieuwendijk, editor, Proceedings Accolade '94, pages 87\u2013102. Dutch Gradute School in Logic, Amsterdam, 1995."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"John V. Guttag and James J. Horning, with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag Texts and Monographs in Computer Science, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF01211077","volume":"7","author":"I. J. Hayes","year":"1995","unstructured":"I.J. Hayes and B.P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7: 329\u2013347, 1995.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"8_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J. E. Laird","year":"1987","unstructured":"J.E. Laird, A. Newell, and P.S. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence, 33(1): 1\u201364, 1987.","journal-title":"Artificial Intelligence"},{"key":"8_CR16","unstructured":"I. van Langevelde, A. Philipsen, and J. Treur. Formal specificartion of compositional architectures. In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), Vienna, 1992."},{"key":"8_CR17","volume-title":"Technical report CMU-CS-92-169","author":"B. G. Miles","year":"1992","unstructured":"B.G. Miles. A specification of the Soar cognitive architecture in Z. Technical report CMU-CS-92-169, Carnegie Mellon University Pittsburgh PA, 1992."},{"key":"8_CR18","unstructured":"C. Myers, C. Clack, and E. Poon. Programming with Standard ML. Prentice Hall, 1993."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"M. Naftalin, T. Denvir, and M. Bertran (eds). FME '94: Industrial Benefit of Formal Methods. LNCS 873, Springer Verlag, 1994.","DOI":"10.1007\/3-540-58555-9"},{"key":"8_CR20","unstructured":"A. Newell and H.A. Simon. Human problem solving. Prentice-Hall, 1972."},{"key":"8_CR21","unstructured":"G.R. Renardel de Lavalette (ed). Formalization of Anaesthesia. Report on the FAN-project. Technical Report, Department of Computing Science, University of Groningen, (in preparation)."},{"key":"8_CR22","unstructured":"E.P. Rotterdam. Anesthesiekennis in Lafan. Technical report R93026, Department of Medical Information Science, University of Groningen, 1993. (In Dutch)."},{"key":"8_CR23","unstructured":"E.P. Rotterdam. FAN: Formalizing anaesthesiology in AFSL. Technical Report R9406, Department of Medical Information Science, University of Groningen, 1994."},{"key":"8_CR24","unstructured":"E.P. Rotterdam. Desired Functionality of a Support System. In: [21]."},{"key":"8_CR25","unstructured":"J. Rumbaugh et. al. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"8_CR26","unstructured":"E. Saaman. User manual AFSL. Department of Computing Science, University of Groningen, (in preparation)."},{"key":"8_CR27","unstructured":"E. Saaman and G.R. Renardel de Lavalette. Object-Oriented Formalization, Manuscript, Department of Computing Science, University of Groningen, 1995."},{"key":"8_CR28","unstructured":"E. Saaman, P. Politiek, and K. Brookhuis. Specification and Design of InDeter-1. Technical report, Traffic Research Centre, University of Groningen, 1994. Deliverable 9 (321A)."},{"key":"8_CR29","volume-title":"The logical approach to syntax","author":"E. P. Stabler","year":"1992","unstructured":"E.P. Stabler. The logical approach to syntax. MIT Press, Cambridge, 1992."},{"key":"8_CR30","unstructured":"J. Treur and T. Wetter (eds). Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993."},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"B.J. Wielinga, A. Th. Schreiber, and J.A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1), March 1992.","DOI":"10.1016\/1042-8143(92)90013-Q"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"J.C.P Woodcock and P.G. Larsen (eds). FME '93: Industrial-Strength Formal Methods. LNCS 670, Springer Verlag, 1993.","DOI":"10.1007\/BFb0024633"}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_84.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:14Z","timestamp":1605628994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}