| 講演名 | 2000/11/10 新技術導入をトリガーとした面接型教育方法の変更促進 海谷 治彦, 関本 理佳, 海尻 賢二, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 既に遂行されている作業を支援するシステムの要求仕様は現状の業務に大きく依存している.その理由の一つは, 現状で利用しているツールや技術に現状業務が制約されているからである.よって, 本質的に利用する必然性のないツールや技術を根拠とする要求は, 変更可能な部分とみなすことができる.このような判断を行うためには, 利用されるツールや技術と要求仕様の部分の関係を明らかにする必要がある.本稿では, 新技術の導入が既存業務に与える影響を推論することにより, 現状業務の変更や改善を促進する手法を提案する.本方法では, 現在利用されている技術と要求仕様の関係を明らかにし, 交換可能な技術を模索することによって要求仕様の変更を行う.よって, 本質的に変更不能な背景を持つ要求は変更されることがない.この手法を本学におけるプログラム作成の個別指導に適用し, 指導方法, 非指導者の学習方法の変更案を示す. |
| 抄録(英) | When you define requirements for a system to support a task which is already carried out, the requirements would be heavily restricted to the current way of the task, and the way depends on the tools or technologies currently used.So you should carefully sort out what can be changed and what can not.In this paper, we presents a method to define the requirements for a system supporting such task, so as to facilitate the use of new technologies.In this method, first we deduce requirements of the task from the properties of technologies currently used, and second we change the requirements by comparing the properties of technologies currently used with the properties of new ones.We also presents a small but realistic example for applying this method. |
| キーワード(和) | 要求工学 / 形式仕様 |
| キーワード(英) | Requirements Engineering / Formal Method |
| 資料番号 | KBSE2000-53 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2000/11/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 新技術導入をトリガーとした面接型教育方法の変更促進 |
| サブタイトル（和） | |
| タイトル（英） | Canging Requirements by Introducing New Technologies:Case Study of a System for Supporting a Programming Coach |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 要求工学 / Requirements Engineering |
| キーワード(2)（和/英） | 形式仕様 / Formal Method |
| 第 1 著者 氏名（和/英） | 海谷 治彦 / Haruhiko Kaiya |
| 第 1 著者 所属（和/英） | 信州大学 工学部 情報工学科 Department of Information Engineering, Faculty of Engineering Shinshu University |
| 第 2 著者 氏名（和/英） | 関本 理佳 / Rika Sekimoto |
| 第 2 著者 所属（和/英） | 信州大学 工学部 情報工学科 Department of Information Engineering, Faculty of Engineering Shinshu University |
| 第 3 著者 氏名（和/英） | 海尻 賢二 / Kenji Kaijiri |
| 第 3 著者 所属（和/英） | 信州大学 工学部 情報工学科 Department of Information Engineering, Faculty of Engineering Shinshu University |
| 発表年月日 | 2000/11/10 |
| 資料番号 | KBSE2000-53 |
| 巻番号（vol） | vol.100 |
| 号番号（no） | 441 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |