Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.

Dr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut für Informatik der Technischen Universität München.

Logische Architektur.- Formale Grundlagen.- Grundlagen eigenschaftsorientierter Architekturbeschreibung.- Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation.- Eigenschaftsorientierte Architekturmuster.- Fallstudie.- Zusammenfassung und Ausblick.