Modellierung und Verifikation medizinischer Leitlinien

dc.contributor.author	Schmitt, Jonathan
dc.contributor.editor	Hölldobler, Steffen
dc.contributor.editor	et al.
dc.date.accessioned	2020-08-21T08:42:11Z
dc.date.available	2020-08-21T08:42:11Z
dc.date.issued	2009
dc.identifier.isbn	978-3-88579-413-4
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33606
dc.description.abstract	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.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2008
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-9
dc.title	Modellierung und Verifikation medizinischer Leitlinien	de
dc.pubPlace	Bonn
mci.reference.pages	261-270