WEKO3
アイテム
仕様記述の役割を意識したフォーマルメソッド学習
https://ipsj.ixsq.nii.ac.jp/records/174391
https://ipsj.ixsq.nii.ac.jp/records/1743918bc06cea-3b8b-4be7-abba-dd514e8355dc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SES2016046.pdf (403.8 kB)
|
Copyright (c) 2016 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-08-24 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 仕様記述の役割を意識したフォーマルメソッド学習 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ワークショップ論文 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 九州大学電気情報工学科 | ||||||||||||
| 著者所属 | ||||||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||||||
| 著者所属 | ||||||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Department of Electrical Engineering and Computer Science, School of Engineering, Kyushu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||||||
| 著者名 |
西岡, 貴史
× 西岡, 貴史
× 大森, 洋一
× 荒木, 啓二郎
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | ソフトウェア開発環境の変化により，仕様保守も重視されるようになってきている．こうした環境変化に対応するために，実行可能であるフォーマルな仕様を用いて，要求変更に対する対話的な仕様修正を行い，実現可能性や要求充足を確認する過程を学習する教材を作成した．学習プログラムでは教材の仕様記述の本質である発注者と開発者の対話を重視し，それぞれの役割を理解するためのロールプレイを行う．大学の演習における試行の結果，改善された部分とともにいくつかの課題が見つかった． | |||||||||||
| 書誌情報 |
ソフトウェアエンジニアリングシンポジウム2016論文集 巻 2016, p. 266-267, 発行日 2016-08-24 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
