Kurzfassung

Bei programmierten Systemen wird das gewollte Systemverhalten in Form einer formalen Beschreibung (des Programms) vorgegeben. Diese formalen Beschreibungen erfüllen zwar die Anforderungen an Unmißverständlichkeit und Vollständigkeit, durch die beschränkten Ausdrucksmöglichkeiten, die sich aus der verwendeten formalen Sprache ergeben, ist jedoch nur ein indirektes Formulieren des Gewollten möglich. Um die in den formalen Beschreibungen festgelegten Konstruktionsentscheidungen verständlich zu...Bei programmierten Systemen wird das gewollte Systemverhalten in Form einer formalen Beschreibung (des Programms) vorgegeben. Diese formalen Beschreibungen erfüllen zwar die Anforderungen an Unmißverständlichkeit und Vollständigkeit, durch die beschränkten Ausdrucksmöglichkeiten, die sich aus der verwendeten formalen Sprache ergeben, ist jedoch nur ein indirektes Formulieren des Gewollten möglich. Um die in den formalen Beschreibungen festgelegten Konstruktionsentscheidungen verständlich zu machen, können anschauliche Systemmodelle (sogenannte Anschauungsmodelle) verwendet werden, welche in eine hierarchische Struktur eingeordnet sind und eine direkte Formulierung des Gewollten und dessen stufenweise Abbildung auf formale Beschreibungen erlauben. Im Rahmen dieser Forschungsarbeit werden programmierte Systeme einer semiotischen Betrachtung unterzogen, die sowohl die Beziehungen der Anschauungsmodelle untereinander als auch die Beziehungen zwischen Anschauungsmodellen und Programmen umfaßt.» weiterlesen» einklappen