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 an...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Seiter, Julia (Yazar), Wille, Robert (Yazar), Drechsler, Rolf (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edisyon:1st ed. 2017.
Seri Bilgileri:SpringerBriefs in Electrical and Computer Engineering,
Konular:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronics.
Electronic Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Online Erişim:Full-text access
OPAC'ta görüntüle
İçindekiler:
  • Introduction
  • Preliminaries
  • Challenges in Model Refinement
  • Verification of Vertical Refinement
  • Extraction of a Relation for Vertical Refinement
  • Verification of Horizontal Refinement
  • Summary and Conclusions.

Benzer Materyaller