SpecCエンジン 著者：Daniel D. Gajski

specc_rpd01.ppt Size:559KB　作成日：2000-8-18

	SpecCのエンジンとなるリファレンス・コンパイラなどのツール類の適用所在と環境体系を概説。
	[ 備考 ] 原文を日本語訳したもの。著作権はガイスキー先生にありますが、著者名を残しての活用は可能です。

SpecC言語 著者：Rainer Dömer

specc_rpd02.ppt Size:510KB　作成日：2001-2-20

	SpecCの言語文法とモデリングを例題を挙げて、わかりよく解説したもの。
	[ 備考 ] 原文を日本語訳したもの。著作権はライナーさんにありますが、著者名を残しての活用は可能です。

SpecCによるモデリングと設計 著者：Andreas Gerstlauer

specc_rpd03.ppt Size:983KB　作成日：2000-8-18

	SpecCの設計方法論を例を挙げて、詳細に解説したもの。
	[ 備考 ] 原文を日本語訳したもの。著作権はアンドレアスさんにありますが、著者名を残しての活用は可能です。