Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
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.
About the author
Bibliographic Information
Book Title: Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Authors: David Trachtenherz
DOI: https://doi.org/10.1007/978-3-8348-9703-9
Publisher: Vieweg+Teubner Verlag Wiesbaden
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2010
Softcover ISBN: 978-3-8348-1029-8Published: 25 June 2010
eBook ISBN: 978-3-8348-9703-9Published: 24 September 2010
Edition Number: 1
Number of Pages: XVIII, 431
Number of Illustrations: 65 b/w illustrations
Topics: Arithmetic and Logic Structures, Computer Science, general