In the medical domain, there is a tendency to standardize health care by providing medical guidelines as summary of the best evidence concerning a particular topic. Based on the assumption that guidelines are similar to software, we try to carry over techniques from software engineering to guideline development. In this paper, we show how to apply formal methods, namely interactive verification to improve the quality of guidelines. As an example, we have worked on a guide-line from the American Academy of Pediatrics for the management of jaundice in newborns. Contributions of this paper are as follows: (I) a formalized model of a nontrivial example guideline, (II) an approach to verify properties of medical guidelines interactively, and (III) verification of a first example property. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Schmitt, J., Hoffmann, A., Balser, M., Reif, W., & Marcos, M. (2006). Interactive verification of medical guidelines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 32–47). Springer Verlag. https://doi.org/10.1007/11813040_3
Mendeley helps you to discover research relevant for your work.