内容説明
ハードウェアとソフトウェアを統合して、エンベデッド・システムの仕様を記述するための新しい言語ＳｐｅｃＣの解説書です。
目次
第１章 はじめに
第２章 システム・レベル設計での基本的な論点
第３章 ＳｐｅｃＣ言語
第４章 ＳｐｅｃＣ方法論
第５章 ＳｐｅｃＣを用いたシステム・レベル設計
第６章 結論
著者等紹介
ガイスキー，ダニエル［Ｇａｊｓｋｉ，Ｄａｎｉｅｌ Ｄ．］
Ｃｅｎｔｅｒ ｆｏｒ Ｅｍｂｅｄｄｅｄ Ｃｏｍｐｕｔｅｒ Ｓｙｓｔｅｍｓ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｃａｌｉｆｏｒｎｉａ，Ｉｒｖｉｎｅ
チュー，ジャンウェン［Ｚｈｕ，Ｊｉａｎｗｅｎ］
Ｃｅｎｔｅｒ ｆｏｒ Ｅｍｂｅｄｄｅｄ Ｃｏｍｐｕｔｅｒ Ｓｙｓｔｅｍｓ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｃａｌｉｆｏｒｎｉａ，Ｉｒｖｉｎｅ
デーメル，ライナー［Ｄ¨ｏｍｅｒ，Ｒａｉｎｅｒ］
Ｃｅｎｔｅｒ ｆｏｒ Ｅｍｂｅｄｄｅｄ Ｃｏｍｐｕｔｅｒ Ｓｙｓｔｅｍｓ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｃａｌｉｆｏｒｎｉａ，Ｉｒｖｉｎｅ
ゲルストラウナー，アンドレアス［Ｇｅｒｓｔｌａｕｅｒ，Ａｎｄｒｅａｓ］
Ｃｅｎｔｅｒ ｆｏｒ Ｅｍｂｅｄｄｅｄ Ｃｏｍｐｕｔｅｒ Ｓｙｓｔｅｍｓ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｃａｌｉｆｏｒｎｉａ，Ｉｒｖｉｎｅ
ザオ，シュークィン［Ｚｈａｏ，Ｓｈｕｑｉｎｇ］
Ｃｅｎｔｅｒ ｆｏｒ Ｅｍｂｅｄｄｅｄ Ｃｏｍｐｕｔｅｒ Ｓｙｓｔｅｍｓ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｃａｌｉｆｏｒｎｉａ，Ｉｒｖｉｎｅ
木下常雄［キノシタツネオ］
東芝デジタルメディア・エンジニアリング株式会社
冨山宏之［トミヤマヒロユキ］
カリフォルニア大学アーバイン校客員研究員
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
