Formalizing anaesthesia: A case study in formal specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 120-139

  Groenboom, Rix ^a   Saaman, Erik ^a   Rotterdam, Ernest ^b   Delavalette, Gerard Renardel ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

^b UNIVERSITY MEDICAL CENTER GRONINGEN   (Netherlands)

Author keywords

Case study; Development process; Linking formal and informal methods; Medical systems; Object orientation

Indexed keywords

ANESTHESIOLOGY; SPECIFICATION LANGUAGES;

DEVELOPMENT PROCESS; FORMAL SPECIFICATION METHOD; GRAPHICAL REPRESENTATIONS; LINKING FORMAL AND INFORMAL METHODS; MEDICAL SYSTEMS; OBJECT ORIENTATION; OBJECT ORIENTED DESIGN METHODS; SUPPORT SYSTEMS;

FORMAL SPECIFICATION;

EID: 84955563383     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_84     Document Type: Conference Paper

References (32)

1. N. Chomsky. A minimalist program for linguistic theory. Technical report, MIT Occasional Papers in Linguistics, 1992.
2. R. Cooper, J. Farringdon, J. Fox and T. Shallice. Levels of description in specifying Soar. In: Proceedings EuroSoar-5, 1991.
3. D. John Doyle. Computer Programs in Clinical and Laboratory Medicine. Springer Verlag, 1989.
4. L.M.G. Feijs and H.B.M. Jonkers. Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science 35. Cambridge University Press, 1994.
5. D. Fensel and E van Harmelen: A Comparison Of Languages Which Operationalize And Formalize KADS Models of Expertise, The Knowledge Engineering Review, vol 9(2), 1994.
6. M. Fieschi. Artificial Intelligence in Medicine. Chapman and Hall, 1990. Original title: Intelligence Artificielte en Médecine des Systémes experts (translated by D. Cramp).
7. M. Fröhlick and M. Werner. daVinci V1.4 User Manual. Department of Computer Science, University of Bremen, January 1995.
8. A.F. de Geus. The Carola Database - User Manual. Department of Anaesthesiology, University Hospital Groningen, 1990.
9. A.F. de Geus and E.P. Rotterdam. Decision Support in Anaesthesia. PhD thesis, Department of Anaesthesiology, University of Groningen, 1992.
10. F. de Geus, E. Rotterdam, S. van Denneheuvel,and P. van Emde Boas. Physiologicalmodeling using RL. In M. Stefanelli, A. Hasman, M. Fieschi, and J. Talmon, editors, Proceedings of AIME '91, pages 198- 210. Springer Verlag, 1991.
11. R. Groenboom and G.R. Renardel de Lavalette. Formal Specification and Soar: does cognitive science need formalisms. In: Proceedings of workshop Euro-Soar6, 1992.
12. 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 - 102. Dutch Gradute School in Logic, Amsterdam, 1995.
13. John V. Guttag and James J. Homing, 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.
14. I.J. Hayes and B.E Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7:329 - 347, 1995.
15. J.E. Laird, A. Newell, and ES. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence, 33(1): 1 - 64, 1987.
16. I. van Langevelde, A. Philipsen, and J. Treur. Formal specificartion of compositional architectures. In: Proceedings of the l Oth European Conference on Artificial Intelligence (ECAI-92), Vienna, 1992.
17. B.G. Miles. A specification of the Soar cognitive architecture in Z. Technical report CMUCS- 92-169, Carnegie Mellon University Pittsburgh PA, 1992.
18. C. Myers, C. Clack, and E. Poon. Programming with StandardML. Prentice Hall, 1993.
19. M. Naftalin, T. Denvir, andM. Bertran (eds). FME "94: Industrial Benefit of Formal Methods. LNCS 873, Springer Verlag, 1994.
20. A. Newell and H.A. Simon. Human problem solving. Prentice-Hall, 1972.
21. 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).
22. E.E Rotterdam. Anesthesiekennis in Lafan. Technical report R93026, Department of Medical Information Science, University of Groningen, 1993. (In Dutch).
23. E.E Rotterdam. FAN: Formalizing anaesthesiology in AFSL. Technical Report R9406, Department of Medical Information Science, University of Groningen, 1994.
24. E.E Rotterdam. Desired Functionality ofa Support System. In: [21].
25. J. Rumbaugh et. al. Object-OrientedModeling andDesign. Prentice Hall, 1991.
26. E. Saaman. UsermanuaIAFSL. DepartmentofComputing Science, University of Groningen, (in preparation).
27. E. Saaman and G.R. Renardel de Lavalette. Object-Oriented Formalization, Manuscript, Department of Computing Science, University of Groningen, 1995.
28. E. Saaman, E Politick, and K. Brookhuis. Specification and Design of InDeter-1. Technical report, Traffic Research Centre, University of Groningen, 1994. Deliverable 9 (321A).
29. E.E Stabler. The logical approach to syntax. MIT Press, Cambridge, 1992.
30. J. Treur and T. Wetter (eds). Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993.
31. B.J. Wielinga, A. Th. Schreiber, and J.A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1), March 1992.
32. J.C.P Woodcock and E G.Larsen (eds). FME "93: Industrial-Strength Formal Methods. LNCS 670, Springer Verlag, 1993.