Automatic Methods for the Refinement of System Models

Automatic Methods for the Refinement of System Models

Julia Seiter / Robert Wille / Rolf Drechsler

68,02 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2016
ISBN:
9783319414799
68,02 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

  • Cases on Usability Engineering
    Information technologies play a significant role in modern information-driven societies, making a comprehensive understanding of digital media a fundamental requisite to success. Cases on Usability Engineering: Design and Development of Digital Products provides readers with case studies and real-life examples on usability methods and techniques to test the design and developme...
    Disponible

    230,19 €

  • State-Of-The- Art Sensors Technology in France 2016
    This Special Issue aims to provide a comprehensive overview of state-of-the-art sensors technology in France. It includes research articles that consolidate our understanding of the state-of-the-art in this area and also four reviews on hot fields in sensor technology (nanomaterials, electronic tongue and optical fibre networks). ...
    Disponible

    59,78 €

  • VISIR HANDBOOK
    Gustavo R Alves / HERNANDEZ-JAYO UNAI / JAVIER GARCIA-ZUBIA / JAVIER GARCIA-ZUBIA UNAI HERNANDEZ-JAYO / Unai Hernández-Jayo
    In 2006, the Signal Processing Department at Blekinge Institute of Technology and Axiom EduTECH in Sweden worked with National Instruments Corporation in Texas, USA, to set up the Virtual Instrument Systems in Reality (VISIR) Project, which operates as a remote laboratory for electric and electronic circuits.The VISIR remote laboratory is currently the only system that delivers...
    Disponible

    130,28 €

  • Neural Networks and Fuzzy Logic Control
    K. Sushita / N. Shanmugasundaram / T. R. Premila
    This textbook offers a unified engineering perspective on Neural Networks and Fuzzy Logic. The authors guide readers swiftly and succinctly through the intricate subjects of neural networks, fuzzy logic, and the mathematical modeling of Fuzzy Logic Control. The theory of fuzzy logic provides a mathematical framework to capture uncertainties related to human cognitive processes,...
    Disponible

    99,67 €

  • Tragbares System zur Messung der Außenluftqualität mit Arduino
    Mira Kartiwi / Teddy Surya Gunawan / Yasmin Mahira Saiful Munir
    Das jüngste Auftreten von Dunst in Malaysia hat die Öffentlichkeit dazu veranlasst, sich der aktuellen Luftqualität in ihrer Umgebung stärker bewusst zu werden. Denn Luftverschmutzung kann schwerwiegende Auswirkungen auf die menschliche Gesundheit und die Umwelt haben. Der Luftschadstoffindex (Air Pollutant Index, API) in Malaysia wird vom Umweltministerium (Department of Envir...
    Disponible

    61,36 €

  • Système portable de mesure de la qualité de l’air extérieur utilisant Arduino
    Mira Kartiwi / Teddy Surya Gunawan / Yasmin Mahira Saiful Munir
    L’apparition récente de la brume sèche en Malaisie a incité le public à être plus attentif à la qualité de l’air qui l’entoure. En effet, la pollution de l’air peut avoir de graves conséquences sur la santé humaine et l’environnement. L’indice des polluants atmosphériques (API) en Malaisie est mesuré par le ministère de l’environnement (DOE) à l’aide de stations de surveillance...
    Disponible

    61,42 €