Automatic Methods for the Refinement of System Models

Name: Automatic Methods for the Refinement of System Models
Brand: Springer International Publishing AG
SKU: 9783319414799
Price: 52.71 EUR
Availability: InStock

From the Specification to the Implementation

Автор: Julia Seiter, Robert Wille, Rolf Drechsler

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.71 € 103.09 лв

This book provides a comprehensive overview of automatic model refinement, which helps readers close...

Информация за книгата

Автор

Julia Seiter, Robert Wille, Rolf Drechsler

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

EAN

9783319414799

ISBN

3319414798

Enbook ID

12580308

Издател

Springer International Publishing AG

Теглоt

1708

Размери

155 x 235 x 8

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също