本書はマイクロプロセッサと周辺ハードウェアから構成される，組み込みシステムのハードウェアとソフトウェアの協調設計を行うために開発された言語であるSpecCの解説書です．
　SpecC言語はソフトウェア開発言語であるC言語をもとに，ハードウェア設計に必要な並列性や時間情報を記述可能とし，システム設計から，回路の合成，ソフトウェアまでを統一的に記述できる新しい言語として注目されています．
　本書の著者は，SpecC言語の提唱者であり，この分野での世界的な権威である，カリフォルニア大学アーバイン校の教授Daniel D.Gajski博士と共同研究者たちです．
　本書は組み込みシステムの研究者，開発者，大規模ハードウェアの設計者の方など，今までの開発手法では困難な問題の解決に取り組もうとしている方々にその答えを提供するでしょう．
　 原題：SpecC:Specification Language and Methodology