Konsistente Dokumentation beim Entwurf informationsverarbeitender Systeme

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 grosszügige Unterstützung der Arbeitsgruppe als auch durch fachliche Kooperation zum Gelingen der Arbeit beitrugen.