Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - 書籍 - Springer International Publishing AG - 9783319086989 - 2014年11月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms 2015 edition

価格
¥ 17.069
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月17日 - 年6月29日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

他の形態でも入手可能：

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

138 pages, 87 black & white illustrations, 6 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2014年11月28日
ISBN13 9783319086989
出版社 Springer International Publishing AG
ページ数 138
寸法 155 × 235 × 10 mm   ·   385 g
言語 英語  

Mere med samme udgiver

Mathias Soekenのすべてを見る ( 例： Hardcover Book および Paperback Book )