講演名 | 2013/10/17 ソフトウェア開発プロセスモデルを用いた形式手法導入の検討 日下部 茂, 林 信弘, 大森 洋一, 荒木 啓二郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | これまでに形式手法を活用して成功した事例は数多く存在する一方で,未だに実際のソフトウェア開発での形式手法の継続的利用やさらには試行さえも特別なものや困難なものと見なされることも多い.これは形式手法が数理学的な基盤を持つ故に難解な印象を与える傾向があることに加え,実際のソフトウェア開発のプロセスに新規な手法を導入したりその利用を継続するためのプロセステーラリングの難しさがあるためと考える.このような問題に対し,我々は抽象的なレベルのソフトウェア開発プロセスモデルでの形式手法の活用の検討が有用と考える.モデルレベルの俯瞰的な観点により形式手法導入の利点や問題点に対する見通しの獲得や関係者間での共有の促進を図る.また,抽象レベルでのソフトウェア開発モデルを介することで,直接的な比較が困難な異なる開発プロセス間での知見の活用の促進を目指す.本稿では抽象的なソフトウェア開発プロセスモデルとしてCMMI-DEV^[○!R]〓を用い,特に関連プロセス領域に焦点を当てた議論を行う. |
抄録(英) | |
キーワード(和) | |
キーワード(英) | |
資料番号 | Vol.2013-SE-182No.14 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2013/10/17(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | ソフトウェア開発プロセスモデルを用いた形式手法導入の検討 |
サブタイトル(和) | |
タイトル(英) | |
サブタイトル(和) | |
キーワード(1)(和/英) | |
第 1 著者 氏名(和/英) | 日下部 茂 |
第 1 著者 所属(和/英) | 九州大学 |
第 2 著者 氏名(和/英) | 林 信弘 |
第 2 著者 所属(和/英) | 九州大学 |
第 3 著者 氏名(和/英) | 大森 洋一 |
第 3 著者 所属(和/英) | 九州大学 |
第 4 著者 氏名(和/英) | 荒木 啓二郎 |
第 4 著者 所属(和/英) | 九州大学 |
発表年月日 | 2013/10/17 |
資料番号 | Vol.2013-SE-182No.14 |
巻番号(vol) | vol.113 |
号番号(no) | 269 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |