Paper Info
Title
Formalizing Anaesthesia: a case study in formal specification
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 Specific- ation Language) and tools (type-checker, graphical repres entation of signatures).
Year
DOI
Venue
1996
10.1007/3-540-60973-3_84
FME
Keywords
Field
DocType
formalizing anaesthesia,formal specification,linking formal and informal methods,object-orientation.,development process,case study,medical systems,object oriented design,object orientation,object oriented
Programming language,Computer science,Support system,Medical systems,Formal specification,Object language,Design methods,Language Of Temporal Ordering Specification,Formal methods,Formal verification
Conference
ISBN
Citations 
PageRank 
3-540-60973-3
2
0.40
References 
Authors
6
4
Name
Order
Citations
PageRank
Rix Groenboom112519.05
Erik Saaman220.40
Ernest Rotterdam362.27
Gerard R. Renardel De Lavalette46314.92