株式会社極東書店トップ ＞ 商品一覧 ＞ Automatic Methods for the Refinement of System Models: From the Specification to the Implementation. 1st ed. 2017
商品詳細
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation. 1st ed. 2017
・ISBN 978-3-319-41479-9 paper EUR 49.99
￥13,361.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Seiter, Julia / Wille, Robert / Drechsler, Rolf, |
|---|---|
| シリーズ | (SpringerBriefs in Electrical and Computer Engineering) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2016 |
| ページ数 | 94 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-47981＞ |
解説
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.