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.
Die Publikation Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme von David Trachtenherz ist bei Vieweg & Teubner, Vieweg+Teubner Verlag erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Eigenschaftsorientierte Architekturmuster, formale Spezifikation, Informatik, Logische Architektur, Modellbasierte Entwicklung, Softwarearchitektur, Softwarearchitektur und Systementwurf, Verifikation. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buchfindr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 82.99 EUR und in Österreich 85.32 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!
