Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme by David Trachtenherz
German | 25 Jun. 2010 | ISBN: 3834810290 | 452 Pages | PDF | 2 MB
German | 25 Jun. 2010 | ISBN: 3834810290 | 452 Pages | PDF | 2 MB
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.