Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
David Trachtenherz
2010 සැප් · Springer-Verlag
ඉ-පොත
431
පිටු
නොමිලේ සාම්පලය
මෙම ඉ-පොත ගැන
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.
Computers & technology
කර්තෘ පිළිබඳ
Dr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut für Informatik der Technischen Universität München.