Konsistente Dokumentation beim Entwurf informationsverarbeitender Systeme [Paperback]

Diese Arbeit ?ber die konsistente Dokumentation beim Entwurf informationsverar? beitender Systeme entstand in den Jahren 1984 bis 1990 w?hrend meiner T?tigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl f?r Digitale Systeme der Universit?t Kaiserslautern. Sie wurde vom Fachbereich Elektrotechnik der Universit?t Kaisers? lautern als Dissertation zur Verleihung des akademischen Grades Dr.-Ing. genehmigt Mein Dank gilt in erster Linie Herm Prof. Dr.-Ing. Siegfried Wendt, der nicht nur die Anregung zu dieser Arbeit gab, sondern auch in seiner Arbeitsgruppe das Umfeld bereitstellte und die Unterst?tzung gew?hrte, ohne die diese Arbeit nicht h?tte ent? stehen k?nnen. Seine zahlreichen Anregungen trugen wesentlich zur Verbesserung der Arbeit bei. Herm Prof. Dr. J?rgen Nehmer vom Fachbereich Informatik der Universit?t Kaisers? lautern danke ich f?r die ?bernahme des Koreferats und die gr?ndliche Durchsicht der Arbeit. Dank schulde ich auch der Firma SIEMENS, besonders Herrn Dr.-Ing. Dietrich Klugmann und seiner Abteilung (ZFE IS SOF 1), die sowohl durch gro?z?gige Unterst?tzung der Arbeitsgruppe als auch durch fachliche Kooperation zum Gelingen der Arbeit beitrugen.1. Einleitung.- 1.1 Problemstellung.- 1.2 Gliederung der Arbeit.- 2. Grundlegende ?berlegungen zum Systementwurf.- 2.1 Begriffliche Abgrenzung.- 2.2 Allgemeine Probleml?sungstheorie.- 2.3 Spezielle Probleme beim Entwurf informationsverarbeitender Systeme.- 3. Der Entwurf informationeller Systeme.- 3.1 Charakterisierung eines sinnvollen Entwurfsprozesses.- 3.2 Architektur einer Systementwurfsumgebung.- 3.3 Abgrenzung zu anderen Ans?tzen.- 4. Die Planstrukturdaten einer Projektbibliothek.- 4.1 Wertebereich mit Hierarchie, Elementtyp und Planvorkommen.- 4.2 Effizienzsteigerung durch vollst?ndige Planbindung.- 4.3 Unterschiedliche Systemsichten.- 4.4 Das Einbringen und L?schen von Pl?nen.- 4.5 Der Einsatz von Datenbanken.- 5. Plansemantik und Konsistenzregeln.- 5.1 Komponenten der Planstruktur.- 5.2 Plansemantikl³r