特許
J-GLOBAL ID：200903082984534835
形式記述技法に基づいた視覚的明細支援ツ-ルシステム及び明細方法
発明者：
出願人/特許権者：
代理人 (1件)：
富田 和子 (外1名)
公報種別：公開公報
出願番号（国際出願番号）：特願平11-323425
公開番号（公開出願番号）：特開2000-148462
出願日： 1999年11月12日
公開日（公表日）： 2000年05月30日
要約：
【要約】【課題】形式言語の初歩者も容易に明細を作成でき、視覚的モデル上でシミュレーションなどの検証を可能にする視覚的明細支援ツール及び明細方法を提供する。【解決手段】本視覚的明細支援ツールシステムは、ユーザが応用領域別に構築された視覚客体ライブラリから形式明細類型の視覚化された客体を取り入れてソフトウェアの要求明細を作成、編集する視覚的形式記述明細作成器100と、視覚的形式明細客体が構築される応用分野別高機能ライブラリ200およびアプリケーションライブラリ400と、貯蔵された視覚的形式記述明細を読み込んで視覚模型を解釈し形式明細言語に変換する視覚的形式記述明細コンパイラ300と、変換された形式明細言語を貯蔵する形式明細ライブラリ400と、貯蔵されたテキスト基盤の形式言語コードを入力として明細の形式的検証を行う形式記述明細言語処理器500とを含んで構成される。
請求項（抜粋）：
ユーザが応用領域別に構築された視覚客体ライブラリから形式明細類型の視覚化された客体を取り入れてこれらを組み合わせ、ソフトウェアの要求明細を作成、編集するための視覚的形式明細作成器と、前記視覚的形式明細作成器で作成された視覚的形式明細客体が構築される応用分野別高機能ライブラリ貯蔵手段及びアプリケーションライブラリ貯蔵手段と、前記アプリケーションライブラリ貯蔵手段に貯蔵された視覚的形式明細を読み込んで視覚模型を解釈し、形式明細言語に変換するための視覚的形式明細コンパイラ手段と、前記視覚的形式明細コンパイラ手段を通して算出した形式明細言語を貯蔵するための形式明細ライブラリ貯蔵手段と、前記形式明細ライブラリ貯蔵手段に貯蔵されたテキスト基盤の形式言語コードを入力として明細の形式的検証を行う形式明細言語処理器とを含んで構成されたことを特徴とする形式記述技法に基づいた視覚的明細支援ツールシステム。
IPC (2件)：
G06F 9/06 530
, G06F 9/06
G06F 9/06 530 U
, G06F 9/06 530 G
