TY - JOUR
T1 - Protocure
T2 - supporting the development of medical protocols through formal methods
AU - Balser, Michael
AU - Coltell, Oscar
AU - van Croonenborg, Joyce
AU - Duelli, Christoph
AU - van Harmelen, Frank
AU - Jovell, Albert
AU - Lucas, Peter
AU - Marcos, Mar
AU - Miksch, Silvia
AU - Reif, Wolfgang
AU - Rosenbrand, Kitty C J G M
AU - Seyfang, Andreas
AU - ten Teije, Annette
PY - 2004
Y1 - 2004
N2 - Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.
AB - Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.
KW - Clinical Protocols
KW - Decision Support Techniques
KW - Evidence-Based Medicine
KW - Humans
KW - Planning Techniques
KW - Practice Guidelines as Topic
KW - Programming Languages
KW - Software
KW - Journal Article
KW - Research Support, Non-U.S. Gov't
M3 - Article
C2 - 15537209
VL - 101
SP - 103
EP - 107
JO - Studies in Health Technology and Informatics
JF - Studies in Health Technology and Informatics
SN - 0926-9630
ER -