1992 Fiscal Year Annual Research Report
Project/Area Number |
04219108
|
Research Institution | Nagoya University |
Principal Investigator |
阿草 清滋 名古屋大学, 工学部, 教授 (90026360)
|
Co-Investigator(Kenkyū-buntansha) |
坂部 俊樹 名古屋大学, 工学部, 助教授 (60111829)
小谷 善行 東京農工大学, 工学部, 助教授 (20111627)
大岩 元 慶應義塾大学, 環境情報学部, 教授 (20011679)
|
Keywords | ソフトウェア発想機構 / ソフトウェア開発支援 / ソフトウェアの自動化 / 上流工程 / 部品データベース / KJ法 / 「対話的知識獲得」 / 項書換え系 |
Research Abstract |
本重点研究の目的は,高機能高品質ソフトウェアはどの様に発想され,記述されていくのかという,ソフトウェア発想機構を解明し,より高度なソフトウェア開発支援,あるいは自動化の技法を確立するこである. 良く知られていることであるが,新たなソフトウェアシステムの持つ概念を定式化する際には,システムアナリストはもちろんのこと顧客の頭の中でさえ概念整理ができているとは限らない.そこで,我々はソフトウェア発想機構の中でもソフトウェア開発過程における上流工程,すなわち対象システムの機能要求の形成過程を明らかにすることを焦点をあてた.そして,(1)仕様を創造する過程を明確化することを目的とした機能要求の形成過程に関する研究を小谷が,(2)優れた仕様の概念形成のためのモデルをサポートすることをめざした仕様形成過程の支援システムに関する研究を阿草,大岩,坂部が分担した. 以下に,各々の研究成果について簡単にまとめる. 1.阿草 過去の仕様記述の参照・再利用を目指して代数的な仕様記述の類似性を定義した.また,蓄積されたソフトウェアに対する変更・修正操作を記述するための枠組としてソフトウェア操作言語を提案した.さらに,これらを統合したソフトウェア部品データベースを用いたソフトウェア開発の枠組を提案した. 2.大岩 ワークステーション上のカード操作ツールを機能拡張し,カードによる情報操作を中心とする「電子会議」システムを構築し,その評価を行なった.また,これに並行して,カード操作ツールを用いたソフトウェア仕様形成実験を行ない,その過程を分析,検討し,その有効性を確認した. 3.小谷 「対話的知識獲得」というパラダイムを用いてユーザの要求を引き出すシステムを作成し,評価をおこなった.このシステムは,開発者(SE)がユーザの要求をインタビューし,自分の中に要求を具体化する過程をシミュレートするものである.実験によって得られた,知識ベースの質およびユーザの要求に対する意識を,数量的に分析し,その効果を確認した. 4.坂部 新しい計算モデルとして動的項書換え計算(Dynamic Term Rewriting Calculus,DTRC)を提案し,簡約に基づく計算モデルにとって重要な性質である合流性と停止性について検討を加えた.
|
Research Products
(6 results)
-
[Publications] 吉田 敦,山本 晋一郎,酒井 正彦,阿草 清滋: "ソフトウェア操作言語の提案" 電子情報通信学会ソフトウェアサイエンス研究会. 92-18. 1-8 (1992)
-
[Publications] 酒井 正彦,松井 聡一,山本 晋一郎,阿草 清滋: "Similarity on Algebraic Specifications toward Specification Database" 情報基礎論ワークショップ. 30-35 (1992)
-
[Publications] 塩見,土屋,竹田,河合,大岩: "カード操作ツールにおけるソフトウェア上流工程の事例研究" ソフトウェアシンポジウム'92. C43-C60 (1992)
-
[Publications] 敦 文音,佐伯 元司: "ソフトウェア仕様化・設計法のデータベースについて" 情報処理学会ソフトウェア工学研究会. 92-85. 39-46 (1992)
-
[Publications] 大須賀 健,結縁 祥治,坂部 俊樹,稲垣 康善: "通信プロセスにおける有限受理グラフを用いた試験等価性の証明法について" 電子情報通信学会技術研究報告. 92-72. 39-48 (1992)
-
[Publications] Yoshiyuki Kotani,Sumihiro Fujimura,Nobuo Takiguchi: "Error Analysis of Interactive Concept Hierarchy Acquisition" Proc.of International Symposium of Natural Language and AI. 255-260 (1992)