ソフトウェア設計過程における人間の思考モデルの研究
软件设计过程中的人类思维模型研究
基本信息
- 批准号:04219202
- 负责人:
- 金额:$ 1.28万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research on Priority Areas
- 财政年份:1992
- 资助国家:日本
- 起止时间:1992 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
ソフトウェアの仕様化/設計作業の中から,複数の作業者による会議を選び,ビデオカメラで記録し,その分析を行なった.その成果は,以下の通りである.1.分析支援ツールの作成ビデオに記録された作業履歴は情報量が多く,人手による分析では手間がかかる.ビデオデッキとワークステーションを接続し,ビデオデッキ制御用のソフトウェアを開発し,分析支援ツールをワークステーション上に作成した.このツールは,ビデオテープ上の画像や音声をデータとする関係データベース構築ツールである.このツールを用いて,会議中の発話量に基づく分析を行ない,有用性を確認した.2設計仕様作成過程の分析ソフトウェアの要求仕様書から2人の設計者が共同で設計仕様書を作り上げるまでの打ち合せや会議をビデオに収録し,データの整理,分析方法を検討し,実際の事例について特性を調べた.打ち合せや会議での議題が,できあがった設計仕様書にどのように反映されているか,つまりプロセス(会議)がプロダクト(仕様書)にどのように影響を添えているかに注目して分析を行い,プロセス中の非効率的な部分を調べた.特に,作業中の打ち合せで議論された内容のうち6割程度しか仕様書に反映されていないことがが判明し,これにより,議論内容のリストのリアルタイム表示や議論の進捗状況(議論が全くなされていないなど)の提示を行うようなツールが有効であることが確認された.3.形式的仕様記述言語の記述スタイル形式的仕様記述言語LOTOSを取り上げ,オブジェクト指向スタイル,機能指向スタイル,状態指向スタイル,イベント指向スタイルの4つの記述パターンを提案し,それらの評価・検討を行った.4つのスタイルを用いて,酒屋の在庫管理問題やエレベータの制御システムなどを記述し,その作業過程,プロダクト(例えば,バグ数など)を分析し,各々のスタイルの特徴を検討した.その結果,オブジェクト指向スタイルが人間の思考にとって有利であるということが判明した.
在软件规格/设计工作中,多名工人选择了会议,将它们记录在摄像机上,并分析了它们。结果如下:1。创建一个分析支持工具,视频视频中记录的工作历史记录很大,手动分析很费力。连接视频甲板和工作站,开发用于控制视频甲板的软件,并在工作站上创建分析支持工具。该工具是一种相关的数据库构建工具,该工具在录像带上使用图像和音频作为数据。使用此工具,根据会议期间的语音量进行分析,并确认其有用性。 2。在视频中记录了分析软件所需规范的会议和会议,并在视频中记录了数据,并对数据进行了组织和分析,并检查了实际情况的特征。会议和会议上的议程如何反映在完成的设计规范中,即过程(会议)对产品(规范)的影响,并检查过程的效率低下。特别是发现,在工作期间会议期间讨论的内容中只有大约60%,这证实了显示讨论列表并介绍讨论的进度(例如,没有讨论)的工具有效3。正式规格语言描述语言说明语言形式规格语言语言lotos,并提出了四种描述模式:面向对象的样式,面向功能的样式,面向状态的样式以及面向事件的样式以及对这些模式的评估和检查。使用四种样式,我们描述了酒类商店,电梯控制系统的库存管理问题,并分析了工作过程,产品(例如,错误数量),并检查了每种样式的特征。结果,发现面向对象的风格对于人类思维是有利的。
项目成果
期刊论文数量(12)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Haruhiko Kaiya: "An Experimental Results on Meetings to Develop Software Specifications" HCI International '93. (1993)
Haruhiko Kaiya:“开发软件规范会议的实验结果”HCI International 93。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
内藤 晋: "形式的仕様記述言語LOTOSの記述スタイルについて" 情報処理学会ソフトウェア工学研究会. 92-100. 131-138 (1992)
Susumu Naito:“关于形式规范语言LOTOS的描述风格”日本软件工程学会信息处理研究组92-100(1992)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Motoshi Saeki: "Supporting Cooperative Specification Process" Abstracts in 14th International Conference on Software Engineering. 66-70 (1992)
Motoshi Saeki:第 14 届国际软件工程会议上的“支持合作规范流程”摘要。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
佐伯 元司: "ソフトウェアプロセスにおけるネット理論" ネット指向ソフトウェア設計技術に関するチュートリアル講演論文集. 12-24 (1992)
Motoshi Saeki:“软件过程中的网络理论”面向网络的软件设计技术教程讲座论文集 12-24 (1992)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
海谷 治彦: "ソフトウェアの仕様化作業における会話構造の分析" 電子情報通信学会知能ソフトウェア工学研究会. 92-128. 25-30 (1992)
Haruhiko Kaiya:“软件规范工作中的会话结构分析”电子信息通信工程师学会智能软件工程研究组 92-128(1992)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
佐伯 元司其他文献
クラス責務割当てのファジィ制約充足問題としての定式化
将类责任分配表述为模糊约束满足问题
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
林 晋平;柳田 拓人;佐伯 元司;三村 秀典 - 通讯作者:
三村 秀典
イシュー上の議論構造の可視化とその理解支援ツール
问题讨论结构的可视化以及支持其理解的工具
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
大内 裕晃;林 晋平;善明 晃由;佐伯 元司 - 通讯作者:
佐伯 元司
リファクタリング支援に用いる知識抽出のためのソフトウェアリポジトリの解析
用于重构支持的知识提取的软件存储库分析
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
林 晋平;佐伯 元司 - 通讯作者:
佐伯 元司
佐伯 元司的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('佐伯 元司', 18)}}的其他基金
ソフトウェア要求進化機構の解明とその活用法の研究
软件需求演化机制阐明及其利用方法研究
- 批准号:
21K11823 - 财政年份:2021
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
オントロジを用いたソフトウェア要求分析・設計技術の研究
基于本体的软件需求分析与设计技术研究
- 批准号:
16016230 - 财政年份:2004
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア要求分析における品質特性メトリックスの研究
软件需求分析中的质量特征度量研究
- 批准号:
14019033 - 财政年份:2002
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア要求分析における品質特性メトリックスの研究
软件需求分析中的质量特征度量研究
- 批准号:
13224035 - 财政年份:2001
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (C)
ソフトウェアの仕様化・設計法の生成の研究
软件规范与设计方法生成研究
- 批准号:
08680350 - 财政年份:1996
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
発話行為論に基づくソフトウェアの要求分析手法の研究
基于言语行为理论的软件需求分析方法研究
- 批准号:
07680340 - 财政年份:1995
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
ソフトウェア仕様作成会議における協調作業支援ツールの研究
软件规范创建会议中协同工作支持工具的研究
- 批准号:
06680309 - 财政年份:1994
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
ソフトウェア設計過程支援のための協調アーキテクチャの研究
支持软件设计过程的协同架构研究
- 批准号:
04650307 - 财政年份:1992
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
ソフトウェア設計過程における人間の思考モデルの研究
软件设计过程中的人类思维模型研究
- 批准号:
03235202 - 财政年份:1991
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア設計における人間の協調作業の形式化の研究
软件设计中人类协作形式化研究
- 批准号:
03650296 - 财政年份:1991
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
制御仕様を定式化したら解けたと見なせる数値的制御系設計の枠組みと設計手法の開発
开发数控系统设计的框架和设计方法,使控制规范一旦制定即可视为已解决。
- 批准号:
22K04175 - 财政年份:2022
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Evaluation on properties of filling type soil materials with radiation shielding capabilities and development of specification design method
具有辐射屏蔽能力的填充型土材料性能评价及规范设计方法开发
- 批准号:
18J22778 - 财政年份:2018
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for JSPS Fellows
On tractability from requirements to architecture in product line software engineering
论产品线软件工程中从需求到架构的可处理性
- 批准号:
21500042 - 财政年份:2009
- 资助金额:
$ 1.28万 - 项目类别:
Grant-in-Aid for Scientific Research (C)