• 本

SpecC仕様記述言語と方法論

Design wave books

出版社名 CQ出版
出版年月 2000年12月
ISBNコード 978-4-7898-3353-0
4-7898-3353-4
税込価格 6,600円
頁数・縦 309P 24cm

商品内容

要旨

ハードウェアとソフトウェアを統合して、エンベデッド・システムの仕様を記述するための新しい言語SpecCの解説書です。

目次

第1章 はじめに
第2章 システム・レベル設計での基本的な論点
第3章 SpecC言語
第4章 SpecC方法論
第5章 SpecCを用いたシステム・レベル設計
第6章 結論

著者紹介

ガイスキー,ダニエル Gajski,Daniel D.
Center for Embedded Computer Systems University of California,Irvine
チュー,ジャンウェン Zhu,Jianwen
Center for Embedded Computer Systems University of California,Irvine
デーメル,ライナー D¨omer,Rainer
Center for Embedded Computer Systems University of California,Irvine
ゲルストラウナー,アンドレアス Gerstlauer,Andreas
Center for Embedded Computer Systems University of California,Irvine
ザオ,シュークィン Zhao,Shuqing
Center for Embedded Computer Systems University of California,Irvine
木下 常雄 (キノシタ ツネオ)  
東芝デジタルメディア・エンジニアリング株式会社
冨山 宏之 (トミヤマ ヒロユキ)  
カリフォルニア大学アーバイン校客員研究員(本データはこの書籍が刊行された当時に掲載されていたものです)