Modellierung und Verifikation medizinischer Leitlinien

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.
  • Vollständige Referenz
  • BibTeX
Schmitt, J., (2009). Modellierung und Verifikation medizinischer Leitlinien. In: Hölldobler, S. & , . (Hrsg.), Ausgezeichnete Informatikdissertationen 2008. Bonn: Gesellschaft für Informatik. (S. 261-270).
@inproceedings{mci/Schmitt2009,
author = {Schmitt, Jonathan},
title = {Modellierung und Verifikation medizinischer Leitlinien},
booktitle = {Ausgezeichnete Informatikdissertationen 2008},
year = {2009},
editor = {Hölldobler, Steffen AND et al.} ,
pages = { 261-270 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
261.pdf103.1Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-413-4
ISSN: 1617-5468
Datum: 2009
Sprache: de (de)
Sammlungen

Zur Langanzeige