Advanced Hardware and Software Tools for Analysis of Multitemporal Images in a Clinical Environment

Abstract

Engelbrecht zitiert: "Präzise, korrekte, vollständige, widerspruchsfreie und knappe 'Beschreibung der Sachverhalte durch exakte Festlegung der Syntax und Semantik des Beschreibungsmittels und dadurch mögliche (automatische) Überprfüung auf Vollständigkeit, Konsistenz und Widerspruchsfreiheit der Darstellung." daher braucht man formale Beschreibungsmittel: "Generell sollte eine formale Beschreibung gleichzeitig Dokumentation, änderungsfreundlich sein und Entscheidungshilfen für das weitere Vorgehen bieten."