Document Detail


Verification of medical guidelines in KIV.
MedLine Citation:
PMID:  18806334     Owner:  NLM     Status:  MEDLINE    
Abstract/OtherAbstract:
We propose to use computerised medical guidelines as models for verification tools, so they can be validated with medical properties. To test the applicability we provide an implementation of the semantics of the medical planning language Asbru and also provide a formalised guideline for the treatment of breast cancer. With this case study we conduct experiments testing different proof techniques to cope with several challenges which guidelines provide.
Authors:
Jonathan Schmitt; Michael Balser; Wolfgang Reif
Related Documents :
11814544 - Inpatient diagnostic assessments: 1. accuracy of structured vs. unstructured interviews.
3811354 - Learning resources for medical computing.
11079994 - Evaluation of snomed3.5 in representing concepts in chest radiology reports: integratio...
11825284 - Mapping between snomed rt and clinical terms version 3: a key component of the snomed c...
12135534 - Stimulant-like action of nicotine on striatal dopamine transporter in the brain of adul...
24510924 - Under-utilization of controller medications and poor follow-up rates among hospitalized...
Publication Detail:
Type:  Journal Article; Validation Studies    
Journal Detail:
Title:  Studies in health technology and informatics     Volume:  139     ISSN:  0926-9630     ISO Abbreviation:  Stud Health Technol Inform     Publication Date:  2008  
Date Detail:
Created Date:  2008-09-22     Completed Date:  2008-11-18     Revised Date:  -    
Medline Journal Info:
Nlm Unique ID:  9214582     Medline TA:  Stud Health Technol Inform     Country:  Netherlands    
Other Details:
Languages:  eng     Pagination:  253-62     Citation Subset:  T    
Affiliation:
University of Augsburg, Germany. schmitt@informatik.uni-augsburg.de
Export Citation:
APA/MLA Format     Download EndNote     Download BibTex
MeSH Terms
Descriptor/Qualifier:
Breast Neoplasms / therapy
Female
Humans
Practice Guidelines as Topic*
Programming Languages*

From MEDLINE®/PubMed®, a database of the U.S. National Library of Medicine


Previous Document:  Lessons learned from adapting a generic narrative diabetic-foot guideline to an institutional decisi...
Next Document:  Improving the execution of clinical guidelines and temporal data abstraction high-frequency domains.