David trachtenherz (8 risultati)

Paperback. Condizione: new. Paperback. Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitaeten sind verteilt und koennen erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitaeten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitaetssicherungsaufwand zu verringern und hohe Produktqualitaet zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitaeten wichtig, die keine Mehrdeutigkeiten zulaesst und gleichzeitig praezise Definition von Freiraeumen fuer die weitere Systementwicklung ermoeglicht.David Trachtenherz entwickelt einen Loesungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine praezise deklarative Spezifikation funktionaler Eigenschaften mit waehlbarem Grad der Abstraktion fuer unterschiedliche Entwicklungsphasen und -ebenen ermoeglicht. Mit einem Geleitwort von Prof. Dr. Dr. h.c. Manfred Broy Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: Brand New. 2010 edition. 431 pages. German language. 8.19x5.91x1.02 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.David Trachtenherz entwickelt den Lösungsansatz der 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 Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.…

Paperback. Condizione: new. Paperback. Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitaeten sind verteilt und koennen erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitaeten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitaetssicherungsaufwand zu verringern und hohe Produktqualitaet zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitaeten wichtig, die keine Mehrdeutigkeiten zulaesst und gleichzeitig praezise Definition von Freiraeumen fuer die weitere Systementwicklung ermoeglicht.David Trachtenherz entwickelt einen Loesungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine praezise deklarative Spezifikation funktionaler Eigenschaften mit waehlbarem Grad der Abstraktion fuer unterschiedliche Entwicklungsphasen und -ebenen ermoeglicht. Mit einem Geleitwort von Prof. Dr. Dr. h.c. Manfred Broy Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.David Trachtenherz entwickelt den Lösungsansatz der 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 Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert. 431 pp. Deutsch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Mit einem Geleitwort von Prof. Dr. Dr. h.c. Manfred BroyDr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut fuer Informatik der Technischen Universitaet Muenchen.David Trachtenherz entwickelt einen Loesungsansatz .…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 452 pp. Deutsch.…

Taschenbuch. Condizione: Neu. Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme | David Trachtenherz | Taschenbuch | xviii | Deutsch | 2010 | Vieweg+Teubner Verlag | EAN 9783834810298 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…