ソフトウェア設計過程における人間の思考モデルの研究
ソフトウェア設計過程における人間の思考モデルの研究
批准号:
04219202
负责人:
佐伯 元司
金额:
$1.28万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
财政年份:
1992
资助国家:
日本
项目状态:
已结题
起止时间:
1992 至 --
中文摘要
ソフトウェアの仕様化/設計作業の中から,複数の作業者による会議を選び,ビデオカメラで記録し,その分析を行なった.その成果は,以下の通りである.1.分析支援ツールの作成ビデオに記録された作業履歴は情報量が多く,人手による分析では手間がかかる.ビデオデッキとワークステーションを接続し,ビデオデッキ制御用のソフトウェアを開発し,分析支援ツールをワークステーション上に作成した.このツールは,ビデオテープ上の画像や音声をデータとする関係データベース構築ツールである.このツールを用いて,会議中の発話量に基づく分析を行ない,有用性を確認した.2設計仕様作成過程の分析ソフトウェアの要求仕様書から2人の設計者が共同で設計仕様書を作り上げるまでの打ち合せや会議をビデオに収録し,データの整理,分析方法を検討し,実際の事例について特性を調べた.打ち合せや会議での議題が,できあがった設計仕様書にどのように反映されているか,つまりプロセス(会議)がプロダクト(仕様書)にどのように影響を添えているかに注目して分析を行い,プロセス中の非効率的な部分を調べた.特に,作業中の打ち合せで議論された内容のうち6割程度しか仕様書に反映されていないことがが判明し,これにより,議論内容のリストのリアルタイム表示や議論の進捗状況(議論が全くなされていないなど)の提示を行うようなツールが有効であることが確認された.3.形式的仕様記述言語の記述スタイル形式的仕様記述言語LOTOSを取り上げ,オブジェクト指向スタイル,機能指向スタイル,状態指向スタイル,イベント指向スタイルの4つの記述パターンを提案し,それらの評価・検討を行った.4つのスタイルを用いて,酒屋の在庫管理問題やエレベータの制御システムなどを記述し,その作業過程,プロダクト(例えば,バグ数など)を分析し,各々のスタイルの特徴を検討した.その結果,オブジェクト指向スタイルが人間の思考にとって有利であるということが判明した.
英文摘要
ソフトウェアの仕様化/設計作業の中から,複数の作業者による会議を選び,ビデオカメラで記録し,その分析を行なった.その成果は,以下の通りである.1.分析支援ツールの作成ビデオに記録された作業履歴は情報量が多く,人手による分析では手間がかかる.ビデオデッキとワークステーションを接続し,ビデオデッキ制御用のソフトウェアを開発し,分析支援ツールをワークステーション上に作成した.このツールは,ビデオテープ上の画像や音声をデータとする関係データベース構築ツールである.このツールを用いて,会議中の発話量に基づく分析を行ない,有用性を確認した.2設計仕様作成過程の分析ソフトウェアの要求仕様書から2人の設計者が共同で設計仕様書を作り上げるまでの打ち合せや会議をビデオに収録し,データの整理,分析方法を検討し,実際の事例について特性を調べた.打ち合せや会議での議題が,できあがった設計仕様書にどのように反映されているか,つまりプロセス(会議)がプロダクト(仕様書)にどのように影響を添えているかに注目して分析を行い,プロセス中の非効率的な部分を調べた.特に,作業中の打ち合せで議論された内容のうち6割程度しか仕様書に反映されていないことがが判明し,これにより,議論内容のリストのリアルタイム表示や議論の進捗状況(議論が全くなされていないなど)の提示を行うようなツールが有効であることが確認された.3.形式的仕様記述言語の記述スタイル形式的仕様記述言語LOTOSを取り上げ,オブジェクト指向スタイル,機能指向スタイル,状態指向スタイル,イベント指向スタイルの4つの記述パターンを提案し,それらの評価・検討を行った.4つのスタイルを用いて,酒屋の在庫管理問題やエレベータの制御システムなどを記述し,その作業過程,プロダクト(例えば,バグ数など)を分析し,各々のスタイルの特徴を検討した.その結果,オブジェクト指向スタイルが人間の思考にとって有利であるということが判明した.
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Haruhiko Kaiya: "An Experimental Results on Meetings to Develop Software Specifications" HCI International '93. (1993)
Haruhiko Kaiya:“开发软件规范会议的实验结果”HCI International 93。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
内藤 晋: "形式的仕様記述言語LOTOSの記述スタイルについて" 情報処理学会ソフトウェア工学研究会. 92-100. 131-138 (1992)
Susumu Naito:“关于形式规范语言LOTOS的描述风格”日本软件工程学会信息处理研究组92-100(1992)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Motoshi Saeki: "Supporting Cooperative Specification Process" Abstracts in 14th International Conference on Software Engineering. 66-70 (1992)
Motoshi Saeki:第 14 届国际软件工程会议上的“支持合作规范流程”摘要。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
佐伯 元司: "ソフトウェアプロセスにおけるネット理論" ネット指向ソフトウェア設計技術に関するチュートリアル講演論文集. 12-24 (1992)
Motoshi Saeki:“软件过程中的网络理论”面向网络的软件设计技术教程讲座论文集 12-24 (1992)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
海谷 治彦: "ソフトウェアの仕様化作業における会話構造の分析" 電子情報通信学会知能ソフトウェア工学研究会. 92-128. 25-30 (1992)
Haruhiko Kaiya:“软件规范工作中的会话结构分析”电子信息通信工程师学会智能软件工程研究组 92-128(1992)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 6 条
ソフトウェア要求進化機構の解明とその活用法の研究
-
批准号:21K11823
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.25万
-
财政年份:2021
-
负责人:佐伯 元司
-
依托单位:
オントロジを用いたソフトウェア要求分析・設計技術の研究
-
批准号:16016230
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$3.39万
-
财政年份:2004
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア要求分析における品質特性メトリックスの研究
-
批准号:14019033
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.79万
-
财政年份:2002
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア要求分析における品質特性メトリックスの研究
-
批准号:13224035
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (C)
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:佐伯 元司
-
依托单位:
ソフトウェアの仕様化・設計法の生成の研究
-
批准号:08680350
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1996
-
负责人:佐伯 元司
-
依托单位:
発話行為論に基づくソフトウェアの要求分析手法の研究
-
批准号:07680340
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.41万
-
财政年份:1995
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア仕様作成会議における協調作業支援ツールの研究
-
批准号:06680309
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.15万
-
财政年份:1994
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア設計過程支援のための協調アーキテクチャの研究
-
批准号:04650307
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.09万
-
财政年份:1992
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア設計過程における人間の思考モデルの研究
-
批准号:03235202
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.28万
-
财政年份:1991
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア設計における人間の協調作業の形式化の研究
-
批准号:03650296
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.02万
-
财政年份:1991
-
负责人:佐伯 元司
-
依托单位:
ソフトウェア設計過程における人間の思考モデルの研究
-
批准号:02249201
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.28万
-
财政年份:1990
-
负责人:佐伯 元司
-
依托单位:
プロセス代数によるソフトウェア設計過程の形式化の研究
-
批准号:02650260
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1990
-
负责人:佐伯 元司
-
依托单位:
自然言語仕様からのソフトウェア開発を支援するシステムの研究
-
批准号:01580023
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.02万
-
财政年份:1989
-
负责人:佐伯 元司
-
依托单位:
自然言語仕様から形式的仕様を作成するためのエキスパートシステムの研究
-
批准号:63780025
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1988
-
负责人:佐伯 元司
-
依托单位:
自然言語に基づく自己拡張機能を持った仕様記述言語の研究
-
批准号:62780030
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1987
-
负责人:佐伯 元司
-
依托单位:
自然言語の品詞構造に基づくソフトウェアの形式的仕様化技法とその記述言語の研究
-
批准号:61780033
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1986
-
负责人:佐伯 元司
-
依托单位:
知的処理機構との対話による形式的仕様記述の研究
-
批准号:60210005
-
项目类别:Grant-in-Aid for Special Project Research
-
资助金额:$1.15万
-
财政年份:1985
-
负责人:佐伯 元司
-
依托单位:
海外基金