WEKO3
アイテム
要求辞書としての形式仕様詳細化手法の提案
https://ipsj.ixsq.nii.ac.jp/records/176693
https://ipsj.ixsq.nii.ac.jp/records/176693efd07fc1-572e-4284-bd3c-f6cf883d6c17
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2017025.pdf (454.7 kB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-01-12 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 要求辞書としての形式仕様詳細化手法の提案 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | 形式手法 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 長崎県立大学 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| University of Nagasaki | ||||||||||||||
| 著者名 |
幡, 亮介
× 幡, 亮介
× 大森, 洋一
× 荒木, 啓二郎
× 日下部, 茂
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | 近年，開発の上流工程で要求仕様を厳密に記述することで，ソフトウェアへの欠陥の混入を低減する形式手法と呼ばれる技術が注目されている．しかし，形式手法の利用には，自然言語仕様から形式仕様に落とし込む技術や形式化するスコープの規定など，開発者の習熟度に依存する問題がある．本研究では，STAMP/STPAを活用することで円滑に形式仕様の雛形を作成し，その後，開発を通して段階的に形式仕様の抽象度を下げていく詳細化手法を考案した． | |||||||||||||
| 書誌情報 |
ウィンターワークショップ2017・イン・飛騨高山 論文集 巻 2017, p. 49-50, 発行日 2017-01-12 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
