Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Description
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.
Keywords
ComputersLogic DesignComputer Science
2010Book
Author(s)David Trachtenherz
PublisherSpringer-Verlag
ISBN9783834810298
LanguageGerman
