特許
J-GLOBAL ID:200903056920360581

ソフトウエア開発支援装置およびソフトウエア開発支援方法

発明者:
出願人/特許権者:
代理人 (1件): 森下 賢樹
公報種別:公開公報
出願番号(国際出願番号):特願2004-141535
公開番号(公開出願番号):特開2005-092855
出願日: 2004年05月11日
公開日(公表日): 2005年04月07日
要約:
【課題】 要求仕様を満たすソフトウエアの開発には膨大な工数がかかる。【解決手段】 集合レベル処理ブロック120は、オブジェクト集合記憶部190から複数のプログラムを抽出し、位相空間レベル処理ブロック130は、プログラムを位相空間として設計する。接着空間レベル処理ブロック140は、複数のプログラムの上に同値関係を規定し、同値関係で対応づけられたプログラムモジュールを接着した接着空間を設計する。セル空間レベル処理ブロック150は、モジュールの属性をセルで表現し、セルの次元を設計し、表現レベル処理ブロック160は、セルの表現を設計する。ビューレベル処理ブロック170は、ユーザに対するビューを設計する。ホモトピーレベル処理ブロック110は、各処理ブロックによる操作によって生じるプログラムの変化をホモトピーとして設計する。【選択図】 図4
請求項(抜粋):
各階層においてソフトウエア部品集合に対する操作が可能に構成されたモジュラ化された抽象階層ブロックを有し、前記抽象階層ブロック間で前記ソフトウエア部品集合の同値関係を不変量として継承しながら、前記ソフトウエア部品集合が満たすべき仕様を前記抽象階層ブロック毎にインクリメンタルに詳細化することにより、与えられた要求仕様に合致するソフトウエアを前記ソフトウエア部品集合から自動生成することを特徴とするソフトウエア開発支援装置。
IPC (1件):
G06F9/44
FI (1件):
G06F9/06 620A
Fターム (1件):
5B076DD01
引用特許:
審査官引用 (4件)
全件表示

前のページに戻る