Sciweavers

32 search results - page 1 / 7
» Interactive Verification of Medical Guidelines
Sort
View
FM
2006
Springer
112views Formal Methods» more  FM 2006»
13 years 8 months ago
Interactive Verification of Medical Guidelines
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, ...
ECAI
2006
Springer
13 years 8 months ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
KBS
2007
78views more  KBS 2007»
13 years 4 months ago
Combining task execution and background knowledge for the verification of medical guidelines
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
CBMS
2008
IEEE
13 years 11 months ago
Easing the Formalization of Clinical Guidelines with a User-tailored, Extensible Agile Model Driven Development (AMDD)
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
Patrick Martini, Katharina Kaiser, Silvia Miksch
CCIA
2007
Springer
13 years 11 months ago
Agents and Clinical Guidelines: Filling the Semantic Gap
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
David Isern, David Sánchez, Antonio Moreno