Textdokument
Modellierung und Verifikation medizinischer Leitlinien
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Dateien
Zusatzinformation
Datum
2009
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik
Zusammenfassung
Medizinische Leitlinien sind ein Instrument moderner Medizin, das eingesetzt wird, um die Kosten des Gesundheitswesens zu senken und gleichzeitig die Qualität medizinischer Behandlungen zu steigern. Allerdings sind medizinische Leitlinien als natürlichsprachige Dokumente anfällig für Fehler. Die vorliegende Arbeit beschreibt einen Ansatz, mit dem die Korrektheit medizinischer Leitlinien mit Hilfe von Methoden aus dem Bereich der Software Entwicklung bewiesen werden kann.