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 :
10724864 - Human aspects of medical computer application.
10693854 - Scripts and medical diagnostic knowledge: theory and applications for clinical reasonin...
14084704 - Recent advances in medical knowledge of causes of mental retardation.
10566324 - Language-independent automatic acquisition of morphological knowledge from synonym pairs.
24443194 - Medication backup in psychiatry residency programs.
23671774 - Do our medical colleges inculcate health-promoting lifestyle among medical students: a ...
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.