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ț: 41904 lei
  • PBG based Terahertz Antenna for Aerospace Applications
    Preț: 37104 lei
  • Massive Access for Cellular Internet of Things Theory and Technique
    Preț: 37372 lei
  • Optimal Boundary Control and Boundary Stabilization of Hyperbolic Systems
    Preț: 37181 lei
  • 20% Recommender Systems for Learning
    Preț: 37273 lei
  • Computational Cancer Biology: An Interaction Network Approach
    Preț: 37087 lei
  • 20% Trust for Intelligent Recommendation
    Preț: 23069 lei
  • 20% Process Simulation and Parametric Modeling for Strategic Project Management
    Preț: 22850 lei
  • Integrated Filters for Short Range Wireless and Biomedical Applications
    Preț: 37181 lei
  • Distributed-Order Dynamic Systems: Stability, Simulation, Applications and Perspectives
    Preț: 37087 lei
  • 20% Database of Piano Chords: An Engineering View of Harmony
    Preț: 22749 lei
  • Complex Binary Number System: Algorithms and Circuits
    Preț: 37087 lei
  • Time-of-Flight Cameras and Microsoft Kinect™
    Preț: 37163 lei
  • Sparse Representations and Compressive Sensing for Imaging and Vision
    Preț: 43728 lei
  • Optimal Time-Domain Noise Reduction Filters: A Theoretical Study
    Preț: 37596 lei
  • Linear Parameter-Varying Control for Engineering Applications
    Preț: 37181 lei
  • A Rapid Introduction to Adaptive Filtering
    Preț: 37258 lei
  • 20% Compressed Sensing with Side Information on the Feasible Region
    Preț: 22850 lei
  • Basics of Computer Networking
    Preț: 37050 lei
  • Built-in-Self-Test and Digital Self-Calibration for RF SoCs
    Preț: 37104 lei
  • Analysis of TCP Performance in Data Center Networks
    Preț: 37087 lei
  • Radio Link Quality Estimation in Low-Power Wireless Networks
    Preț: 37464 lei
  • Common Rail System for GDI Engines: Modelling, Identification, and Control
    Preț: 37013 lei
  • Underwater Acoustic Networking Techniques
    Preț: 37087 lei
  • Near-Space Remote Sensing: Potential and Challenges
    Preț: 37221 lei
  • 20% Agent-Based Semantic Web Service Composition
    Preț: 31581 lei
  • Geometrical Methods for Power Network Analysis
    Preț: 37142 lei
  • The Emerging Domain of Cooperating Objects: Definitions and Concepts
    Preț: 33606 lei
  • MotionCast for Mobile Wireless Networks
    Preț: 33852 lei
  • Millimeter-Wave Receiver Concepts for 77 GHz Automotive Radar in Silicon-Germanium Technology
    Preț: 37276 lei
  • 20% Chinese Handwriting Recognition: An Algorithmic Perspective
    Preț: 31921 lei
  • Network Inference in Molecular Biology: A Hands-on Framework
    Preț: 37126 lei
  • Brain-Computer Interface Research: A State-of-the-Art Summary
    Preț: 37237 lei
  • 20% Designing a New Class of Distributed Systems
    Preț: 31627 lei
  • 20% ICT Development for Social and Rural Connectedness
    Preț: 22695 lei
  • A Study on Radio Access Technology Selection Algorithms
    Preț: 36804 lei
  • Passivity-Based Model Predictive Control for Mobile Vehicle Motion Planning
    Preț: 36917 lei
  • Speech Processing and Soft Computing
    Preț: 35404 lei
  • IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints
    Preț: 37505 lei
  • From scientific instrument to industrial machine: Coping with architectural stress in embedded systems
    Preț: 37200 lei
  • Interactive Segmentation Techniques: Algorithms and Performance Evaluation
    Preț: 36992 lei
  • 20% Recommender Systems for Social Tagging Systems
    Preț: 31856 lei
  • Cloud Computing Basics
    Preț: 37372 lei
  • Discrete Event Systems: Diagnosis and Diagnosability
    Preț: 36933 lei
  • 20% Persuasive Recommender Systems: Conceptual Background and Implications
    Preț: 31581 lei
  • Compact Models and Measurement Techniques for High-Speed Interconnects
    Preț: 37087 lei
  • 5% Stem Cells and Tissue Engineering
    Preț: 35574 lei
  • Designing TSVs for 3D Integrated Circuits
    Preț: 37181 lei
  • VCO-Based Quantizers Using Frequency-to-Digital and Time-to-Digital Converters
    Preț: 36879 lei
  • Network Reliability and Resilience
    Preț: 36992 lei

Preț: 37087 lei

Nou

Puncte Express: 556
Preț estimativ în valută:
7098€ • 7412$ • 5885£

Carte tipărită la comandă

Livrare economică 11-25 februarie 25

 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