Schmitt, JonathanHölldobler, Steffen2020-08-212020-08-212009978-3-88579-413-4https://dl.gi.de/handle/20.500.12116/33606Medizinische 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.de1617-5468