2 Ergebnisse.

In der Klinik ist die Qualitatskontrolle seit jeher eine Pflicht gewesen. Erleichtert wird diese Aufgabe heute durch moderne Dokumentations- und Auswertungssysteme. Einen einfachen MaBstab fliT die Qualitatsbeurteilung und -sicherung stellen dabei die laufende Dokumentation der Komplikationen, ihre Analyse und die sich daraus ergebenden klinischen Ma~nahmen dar. Dieses System der wochentlichen Dokumentation der Kompli­ kationen im Rahmen der Abteilungskonferenz geht auf ...

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind ...