Automatic Methods for the Refinement of System Models
From the Specification to the Implementation
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two directions for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification…
Mehr
CHF 65.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Wille, Robert / Seiter, Julia
- ISBN: 978-3-319-41480-5
- EAN: 9783319414805
- Produktnummer: 20214057
- Verlag: Springer
- Sprache: Englisch
- Erscheinungsjahr: 2016
- Plattform: PDF
- Masse: 2'142 KB
Über den Autor
Julia Seiter currently works as a software architect at VEMAG Maschinenbau GmbH in Verden, Germany. She received the Diploma degree in computer science from the University of Bremen, Germany, in 2012. In 2015, she received her Dr.-Ing. degree, also from the University of Bremen, after having been with the Group of Computer Architecture for three years. Her research was focused on the design and verification of formal system models.Robert Wille is a Full Professor at the Johannes Kepler University Linz. He received the Diploma and Dr.-Ing. degrees in computer science from the University of Bremen, Germany, in 2006 and 2009, respectively. He was with the Group of Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as Lecturer at the University of Applied Science in Bremen, Germany, and as visiting professor at the University of Potsdam, Germany, and the Technical University Dresden, Germany. His research interests are in the design of circuits and systems for both conventional and emerging technologies with a focus in the domain of synthesis and verification.Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.
100 weitere Werke von Rolf Drechsler:
Towards a Design Flow for Reversible Logic
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 132.50
Languages, Design Methods, and Tools for Electronic System Design
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 103.00
Formal System Verification
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 141.50
Exact Design of Digital Microfluidic Biochips
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 130.00
Applications of Evolutionary Computing
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computing
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 160.00
Design for Testability, Debug and Reliability
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 118.00
Formal Specification Level
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 110.50
Reversible and Quantum Circuits
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 103.00
Design Automation Techniques for Approximation Circuits
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 103.00
Advanced Boolean Techniques
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 100.50
Formal Modeling and Verification of Cyber-Physical Systems
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 100.50
Advanced BDD Optimization
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 165.50
Robustness and Usability in Modern Design Flows
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 132.50
Debugging at the Electronic System Level
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 132.50
Recent Findings in Boolean Techniques
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 124.00
Evolutionary Algorithms for Embedded System Design
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 118.00
High Quality Test Pattern Generation and Boolean Satisfiability
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 121.50
Test Pattern Generation using Boolean Proof Engines
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 132.50
Graphenbasierte Funktionsdarstellung
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 47.63
Applications of Evolutionary Computing
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 160.00
Applications of Evolutionary Computing
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computation
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 106.50
Enhanced Virtual Prototyping
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 130.00
Natural Language Processing for Electronic Design Automation
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 100.50
Automated Analysis of Virtual Prototypes at the Electronic System Level
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 94.50
Noch analog oder lebst Du schon?
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 13.50
Spectral Techniques in VLSI CAD
From the Specification to the Implementation
From the Specification to the Implementation
Ebook (PDF Format)
CHF 165.50
Bewertungen
Anmelden