Conference ProceedingsOPEN ACCESS

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) (1996) 1051 120-139
DOI: 10.1007/3-540-60973-3_84
4Citations
Citations of this article
12Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker, graphical representation of signatures).

Author supplied keywords

Cite

CITATION STYLE

APA

Groenboom, R., Saaman, E., Rotterdam, E., & Delavalette, G. R. (1996). Formalizing anaesthesia: A case study in formal specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 120–139). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_84

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free