img Leseprobe Leseprobe

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Rolf Drechsler, Julia Seiter, Robert Wille

PDF
ca. 53,49 €
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer International Publishing img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Elektronik, Elektrotechnik, Nachrichtentechnik

Beschreibung

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.

Weitere Titel von diesem Autor
Cover Computer
Computer
Rolf Drechsler
14,99 €
Weitere Titel in dieser Kategorie
Cover ARDUINO DETECTION
ARDUINO DETECTION
ADDISON GARDNER
19,99 €

Kundenbewertungen

Schlagwörter

UML, Automatic Verification in Electronic Systems, Object Constraint Language, Formal Specification, Unified Modeling Language