Cantitate/Preț
Produs
Total produse
Vezi coșul
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation de Julia Seiter

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation: SpringerBriefs in Electrical and Computer Engineering

Autor Julia Seiter, Robert Wille, Rolf Drechsler
en Limba Engleză Paperback – 11 iul 2016
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 methods to check automatically whether a refinement has been conducted as intended.
Citește tot Restrânge

Din seria SpringerBriefs in Electrical and Computer Engineering

  • 19% VLSI Design: A Practical Guide for FPGA and ASIC Implementations
    Preț: 42988 lei
  • PBG based Terahertz Antenna for Aerospace Applications
    Preț: 37735 lei
  • Massive Access for Cellular Internet of Things Theory and Technique
    Preț: 38007 lei
  • Optimal Boundary Control and Boundary Stabilization of Hyperbolic Systems
    Preț: 37812 lei
  • 20% Recommender Systems for Learning
    Preț: 37908 lei
  • Computational Cancer Biology: An Interaction Network Approach
    Preț: 37718 lei
  • 20% Trust for Intelligent Recommendation
    Preț: 23468 lei
  • 20% Process Simulation and Parametric Modeling for Strategic Project Management
    Preț: 23243 lei
  • Integrated Filters for Short Range Wireless and Biomedical Applications
    Preț: 37812 lei
  • Distributed-Order Dynamic Systems: Stability, Simulation, Applications and Perspectives
    Preț: 37718 lei
  • 20% Database of Piano Chords: An Engineering View of Harmony
    Preț: 23141 lei
  • Complex Binary Number System: Algorithms and Circuits
    Preț: 37718 lei
  • Time-of-Flight Cameras and Microsoft Kinect™
    Preț: 37795 lei
  • Sparse Representations and Compressive Sensing for Imaging and Vision
    Preț: 44474 lei
  • Optimal Time-Domain Noise Reduction Filters: A Theoretical Study
    Preț: 38236 lei
  • Linear Parameter-Varying Control for Engineering Applications
    Preț: 37812 lei
  • A Rapid Introduction to Adaptive Filtering
    Preț: 37892 lei
  • 20% Compressed Sensing with Side Information on the Feasible Region
    Preț: 23243 lei
  • Basics of Computer Networking
    Preț: 37680 lei
  • Built-in-Self-Test and Digital Self-Calibration for RF SoCs
    Preț: 37735 lei
  • Analysis of TCP Performance in Data Center Networks
    Preț: 37718 lei
  • Radio Link Quality Estimation in Low-Power Wireless Networks
    Preț: 38100 lei
  • Common Rail System for GDI Engines: Modelling, Identification, and Control
    Preț: 37643 lei
  • Underwater Acoustic Networking Techniques
    Preț: 37718 lei
  • Near-Space Remote Sensing: Potential and Challenges
    Preț: 37854 lei
  • 20% Agent-Based Semantic Web Service Composition
    Preț: 32120 lei
  • Geometrical Methods for Power Network Analysis
    Preț: 37773 lei
  • The Emerging Domain of Cooperating Objects: Definitions and Concepts
    Preț: 34175 lei
  • MotionCast for Mobile Wireless Networks
    Preț: 34425 lei
  • Millimeter-Wave Receiver Concepts for 77 GHz Automotive Radar in Silicon-Germanium Technology
    Preț: 37909 lei
  • 20% Chinese Handwriting Recognition: An Algorithmic Perspective
    Preț: 32464 lei
  • Network Inference in Molecular Biology: A Hands-on Framework
    Preț: 37757 lei
  • Brain-Computer Interface Research: A State-of-the-Art Summary
    Preț: 37871 lei
  • 20% Designing a New Class of Distributed Systems
    Preț: 32166 lei
  • 20% ICT Development for Social and Rural Connectedness
    Preț: 23085 lei
  • A Study on Radio Access Technology Selection Algorithms
    Preț: 37430 lei
  • Passivity-Based Model Predictive Control for Mobile Vehicle Motion Planning
    Preț: 37545 lei
  • Speech Processing and Soft Computing
    Preț: 36005 lei
  • IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints
    Preț: 38143 lei
  • From scientific instrument to industrial machine: Coping with architectural stress in embedded systems
    Preț: 37834 lei
  • Interactive Segmentation Techniques: Algorithms and Performance Evaluation
    Preț: 37622 lei
  • 20% Recommender Systems for Social Tagging Systems
    Preț: 32399 lei
  • Cloud Computing Basics
    Preț: 38007 lei
  • Discrete Event Systems: Diagnosis and Diagnosability
    Preț: 37562 lei
  • 20% Persuasive Recommender Systems: Conceptual Background and Implications
    Preț: 32120 lei
  • Compact Models and Measurement Techniques for High-Speed Interconnects
    Preț: 37718 lei
  • 5% Stem Cells and Tissue Engineering
    Preț: 36180 lei
  • Designing TSVs for 3D Integrated Circuits
    Preț: 37812 lei
  • VCO-Based Quantizers Using Frequency-to-Digital and Time-to-Digital Converters
    Preț: 37507 lei
  • Network Reliability and Resilience
    Preț: 37622 lei

Preț: 37718 lei

Nou

Puncte Express: 566
Preț estimativ în valută:
7219€ • 7507$ • 6041£

Carte tipărită la comandă

Livrare economică 14-28 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319414799
ISBN-10: 3319414798
Pagini: 72
Ilustrații: VIII, 94 p. 30 illus., 5 illus. in color.
Dimensiuni: 155 x 235 x 6 mm
Greutate: 0.16 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seria SpringerBriefs in Electrical and Computer Engineering

Locul publicării:Cham, Switzerland

Cuprins

Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.-  Summary and Conclusions.

Notă biografică

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.


Caracteristici

Provides a comprehensive introduction to automatic model refinement Includes techniques to verify automatically the refinements conducted Explains key distinctions between horizontal and vertical refinement Includes supplementary material: sn.pub/extras