ソフトウェア設計過程における人間の思考モデルの研究

软件设计过程中的人类思维模型研究

• 批准号: 03235202
• 负责人: 佐伯 元司
• 金额: $ 1.28万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-03235202/
• 关键词: ソフトウェアプロセス; 仕様化・設計法; メンタルモデル; 認知プロセス; プロトコル解析

ある設計法に従ったソフトウェアの設計過程を記録するためのコンピュ-タツ-ルを開発し,そのツ-ルとビオカメラを用いて,設計作業の履歴を記録し,分析を行った。その成果は以下のとおりである。1.ソフトウェア仕様化/設計法の形式的記述ジャクソンシステム開発法やオブジェクト指向開発法での作業分析結果を基に,種々のソフトウェア仕様化/設計法を形式的に記述するためのモデルを提案した。このモデルは,設計法でどのようなプロダクトが作られるかを表すプロダクトモデルと,どのような作業が行われるかを表すアクティビティモデルからなり,両者とも個体関連モデル(Entity Relationship Model)によって形式化されている。2.ハイパ-テキストを用いた設計作業のモニタリングツ-ルの開発設計者が与えられた設計法に従って設計作業を行い,その履歴を蓄積することができるコンピュ-タツ-ルを作成した。このツ-ルは,メニュ-形式のハイパ-テキストツ-ルとして実現されており,1の手法を用いて記述された設計法を入力とし,その設計法で生成するプロダクトと作業の構造に一致したノ-ド,リンクの作成を支援する。設計作業は,ノ-ドの作成/消去(プロダクトの識別,消去),リンクの作成/消去(作業の開始,取り消し)といったツ-ルの操作に対応づけられる。3.ツ-ルを用いた設計作業の分析2.開発したツ-ルに簡単なオブジェクト指向分析法を入力し,実際の作業のモニタリングを,ビデオカメラを併用しながら行い,その分析を行った。その結果,プロダクトの修正が全体時間の10%,見直しが60%で,7回前に行った作業までを非常によく見直しているという特性が得られた。

あ る design method に 従 っ た ソ フ ト ウ ェ ア の を design process record す る た め の コ ン ピ ュ - タ ツ - ル を open 発 し, そ の ツ - ル と ビ オ カ メ ラ を with い て, design homework の shoe bearing し を record, line analysis を っ た. Youdaoplaceholder0 そ results とお the following is とお とお である である. 1. ソ フ ト ウ ェ ア shi others の form/design method of account ジ ャ ク ソ ン シ ス テ ム open 発 method や オ ブ ジ ェ ク ト points to open 発 method で の を に, job analysis results of 々 の ソ フ ト ウ ェ ア shi others を form/design method of account に す る た め の モ デ ル を proposal し た. こ の モ デ ル は, the design method of で ど の よ う な プ ロ ダ ク ト が as ら れ る か を table す プ ロ ダ ク ト モ デ ル と, ど の よ う な line homework が わ れ る か を table す ア ク テ ィ ビ テ ィ モ デ ル か ら な り, who struck と も individual masato even モ デ ル (Entity Relationship Model)によって formalization されて る る. 2. ハ イ パ - テ キ ス ト を with い た design homework の モ ニ タ リ ン グ ツ - ル の 発 designers が and open え ら れ た design method に 従 っ て design homework を い, そ の shoe bearing を accumulation す る こ と が で き る コ ン ピ ュ - タ ツ - ル を made し た. こ の ツ - ル は, メ ニ ュ - form の ハ イ パ - テ キ ス ト ツ - ル と し て be presently さ れ て お り, 1 の gimmick を with い て account さ れ た を design method into the force と し, そ の で design method to generate す る プ ロ ダ ク ト と homework の structure consistent に し た ノ - ド リ ン ク の made を support す る. Design exercises は ノ - ド の done/elimination (プ ロ ダ ク ト の identification, elimination), リ ン ク の done/elimination (homework の beginning, take り し elimination) と い っ た ツ - ル の operation に 応 seaborne づ け ら れ る. 3. ツ - ル を with い た design assignments の analysis 2. Open 発 し た ツ - ル に Jane 単 な オ ブ ジ ェ ク ト を し into force to analysis, and the event be の homework の モ ニ タ リ ン グ を, ビ デ オ カ メ ラ を and し な が ら い, そ の line analysis を っ た. そ の results, プ ロ ダ ク ト の correction が の 10% all the time, see straight し が で 60%, line 7 back to former に っ た homework ま で を very に よ く see straight し て い る と い う features が must ら れ た.

项目成果

本間 学: "ソフトウェアの実現段階における会議の分析" 情報処理学会第44回全国大会論文集. 5. 353-354 (1992)

Manabu Homma：“软件实现阶段的会议分析”日本信息处理学会第 44 届全国会议记录 5. 353-354 (1992)。

西 正博: "ソフトウェアの発注者 ー 開発者会議におけるインタラクションの分析" 情報処理学会ヒュ-マンインタ-フェ-ス研究会. 41ー3. (1992)

Masahiro Nishi：“软件订购者 - 开发人员会议上的交互分析”日本信息处理学会人机界面研究组 41-3。

Motoshi Saeki: "A Method for Software Process Modeling and Descriptions using LOTOS" Proc.of 1st International Conference on the Software Process. 90-104 (1991)

Motoshi Saeki：“使用 LOTOS 进行软件过程建模和描述的方法”Proc.of 第一届软件过程国际会议。

Kuo Wen‐yin: "Method Base ー Database of Software Design Methods & Specifications" Joint Conference on Software Engineering '92. (1992)

郭文银：“方法库-软件设计方法和规范数据库”软件工程联合会议92（1992）。

渡辺 智弘: "仕様記述作業のモニタリングツ-ルとその記録分析" 情報処理学会ソフトウェア工学研究会. 80ー18. 135-142 (1991)

Tomohiro Watanabe：“规范编写工作的监控工具及其记录分析”日本软件工程研究组信息处理80-142（1991）。