仕様記述
システム、ソフトウエア、ＪＡＶＡ、為、デバイスドライバ、問題、述語、プロセッサ、機械、言語