チュートリアル １
(Room: 311/312)
SpecC: Specification Language and Design Methodology
（ＳｐｅｃＣ：仕様記述言語と設計手法）
オーガナイザー：
Prof. Daniel Gajski(California
大学
Irvine
校）
ＳｐｅｃＣ は仕様設計と詳細設計をＳｏＣ開発プロセスに組み込むための言語として、 Ｃ言語を拡張して開発された新しいシステム仕様記述言語である。 概念設計レベルの仕様記述から詳細設計記述までを同じセマンティクスと シンタックスで記述できる特徴があり、次世代のＶＬＳＩ設計言語として 脚光を浴びている。本チュートリアルはＳｐｅｃＣ開発の第一人者を講師に迎え、 システム仕様と記述言語、ＳｐｅｃＣ言語仕様、ＳｐｅｃＣを用いた 設計メソドロジー、適用事例、ＳｐｅｃＣコンソーシアムの目標と計画などについて、 システム設計者、プロダクトマネージャ、グループリーダ、 ソフトウェア・ハードウェアコデザインに係わるエンジニアむけに、 最新のトピックスを詳しく解説する。