Zusammenfassung
Medizinische Leitlinien sind ein Instrument zur Steigerung der Effizienz und Qualität medizinischer Behandlungen. Um dies zu erreichen, bündeln Leitlinien alles verfügbare Wissen zur Behandlung einer bestimmten Krankheit in einem kompakten Dokument, nach dem dann tausende von Patienten behandelt werden. Dies eröffnet die Frage, wie die Qualität der Leitlinien selbst sichergestellt werden kann. Der hier vorgestellte Ansatz überträgt Methoden der strukturierten Softwareentwicklung auf medizinische Leitlinien. Dadurch ist es erstmals möglich, Garantien bezüglich der Korrektheit von medizinischen Leitlinien zu geben.