特許
J-GLOBAL ID：200903048763756228
システム設計仕様を規定する装置
発明者：
,
,
,
出願人/特許権者：
代理人 (1件)：
三俣 弘文
公報種別：公開公報
出願番号（国際出願番号）：特願平9-213791
公開番号（公開出願番号）：特開平11-039378
出願日： 1997年07月04日
公開日（公表日）： 1999年02月12日
要約：
【要約】【課題】 システム設計の詳細な知識あるいはシステム仕様を規定する論理表現に高度の知識を有さないプログラマが容易にシステム設計を検証できる方法を提供する。【解決手段】 システムデザイナは有限数のテンプレートを用いてシステム設計仕様を正確に規定できる。この有限数のテンプレートは、設計仕様の取扱を非常に単純化し、明確にし、そして信頼性あるものにする表現を理解するのに少数の比較的容易な手段を提供する。本発明の利点としては、従来の検証ツールおよびシミュレーションツールに使用されたシステム設計仕様を規定するのに必要な多数の且つ複雑な論理表現を書くことができる経験豊富なプログラマの必要性を無くす。このため本発明は、従来の設計限界をある程度解決することができる。
請求項（抜粋）：
システム設計仕様を規定する装置において、(A)少なくとも1つの入力スペースを有する有限個のテンプレートを有するライブラリと、(B)システムモデルの意図した動作属性を規定するテンプレートの空欄を埋めるために選択されたテンプレートの入力スペースをシステム表現でもって埋める手段とからなることを特徴とするシステム設計仕様を規定する装置。
FI (3件)：
G06F 15/60 630
, G06F 15/60 602 B
, G06F 15/60 612 A
