WIPO logo
Mobile | Deutsch | English | Español | Français | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2005109190) ソフトウエア開発支援装置およびソフトウエア開発支援方法
国際事務局に記録されている最新の書誌情報   

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2005/109190    国際出願番号:    PCT/JP2005/008507
国際公開日: 17.11.2005 国際出願日: 10.05.2005
IPC:
G06F 9/44 (2006.01)
出願人: KANAZAWA INSTITUTE OF TECHNOLOGY [JP/JP]; 7-1, Ohgigaoka, Nonoichi-machi, Ishikawa-gun Ishikawa 9218501 (JP) (米国を除く全ての指定国).
KUNII, Toshiyasu [JP/JP]; (JP) (米国のみ)
発明者: KUNII, Toshiyasu; (JP)
代理人: MORISHITA, Sakaki; 2-11-12, Ebisu-Nishi Shibuya-ku Tokyo, 1500021 (JP)
優先権情報:
2004-141535 11.05.2004 JP
発明の名称: (EN) SOFTWARE DEVELOPMENT SUPPORTING DEVICE AND SOFTWARE DEVELOPMENT SUPPORTING METHOD
(FR) DISPOSITIF DE SUPPORT DE DEVELOPPEMENT DE LOGICIELS ET PROCEDE DE SUPPORT DE DEVELOPPEMENT DE LOGICIELS
(JA) ソフトウエア開発支援装置およびソフトウエア開発支援方法
要約: front page image
(EN)A set level processing block (120) extracts programs from an object set storage unit (190). A phase space level processing block (130) designs a program as a phase space. A bonded space level processing block (140) defines an equivalence relation over the programs and designs a bonded space where program modules associated in the equivalence relation are bonded. A cell space level processing block (150) expresses the attributes of modules by means of a cell, designs the dimension of the cell. An expression level processing block (160) designs the expression of the cell. A view level processing block (170) designs a view for the user. A homotopy level processing block (110) designs a variation of a program caused by operating the processing blocks as a homotopy.
(FR)Un bloc de traitement au niveau des ensembles (120) extrait des programmes d’une unité de stockage d'ensembles d'objets (190). Un bloc de traitement au niveau des espaces de phase (130) conçoit un programme comme espace de phase. Un bloc de traitement au niveau des espaces liés (140) définit une relation d’équivalence entre les programmes et conçoit un espace lié dans lequel les modules de programme associés dans la relation d’équivalence sont liés. Un bloc de traitement au niveau des espaces cellulaires (150) exprime les attributs de modules au moyen d'une cellule, conçoit la dimension de la cellule. Un bloc de traitement au niveau des expressions (160) conçoit l'expression de la cellule. Un bloc de traitement au niveau de la visualisation (170) conçoit une visualisation pour un utilisateur donné. Un bloc de traitement au niveau de l’homotopie (110) conçoit une variation d’un programme provoquée par l’exploitation des blocs de traitement comme une homotopie.
(JA) 集合レベル処理ブロック120は、オブジェクト集合記憶部190から複数のプログラムを抽出し、位相空間レベル処理ブロック130は、プログラムを位相空間として設計する。接着空間レベル処理ブロック140は、複数のプログラムの上に同値関係を規定し、同値関係で対応づけられたプログラムモジュールを接着した接着空間を設計する。セル空間レベル処理ブロック150は、モジュールの属性をセルで表現し、セルの次元を設計し、表現レベル処理ブロック160は、セルの表現を設計する。ビューレベル処理ブロック170は、ユーザに対するビューを設計する。ホモトピーレベル処理ブロック110は、各処理ブロックによる操作によって生じるプログラムの変化をホモトピーとして設計する。
指定国: AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KP, KR, KZ, LC, LK, LR, LS, LT, LU, LV, MA, MD, MG, MK, MN, MW, MX, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RU, SC, SD, SE, SG, SK, SL, SM, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, YU, ZA, ZM, ZW.
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
欧州特許庁(EPO) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, MC, NL, PL, PT, RO, SE, SI, SK, TR)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
国際公開言語: Japanese (JA)
国際出願言語: Japanese (JA)