WEKO3
アイテム
モデル変換に基づく要求記述を利用した形式仕様の構築
https://uec.repo.nii.ac.jp/records/9122
https://uec.repo.nii.ac.jp/records/9122dda394ce-067e-41ee-aa87-8d37fb6c318c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL4907005 (597.6 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2019-04-15 | |||||
| タイトル | ||||||
| タイトル | モデル変換に基づく要求記述を利用した形式仕様の構築 | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | Constructing Formal Specifications from Requirements Specifications Based on Model Transformation | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
中川, 博之
× 中川, 博之× 田口, 研治× 本位田, 真一 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 近年，ソフトウェアの複雑化により，要求分析の重要性が認識されるとともに形式手法によるモデルの詳細化が注目されている．しかし，形式手法による仕様の記述は開発者にとって容易ではなく，要求を満足するソフトウェア構築は依然として容易ではない．そこで本研究では，要求分析法KAOSにより記述された要求記述を形式仕様言語VDM++の形式仕様へと自動変換する手法と，本手法を用いた開発プロセスを提案する．本研究により，形式仕様の構築が容易になるとともに，要求記述と形式仕様間の整合性が保証され，モデル詳細化によるソフトウェア開発が実現される． | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Requirements analysis and formal methods are techniques for developing complex systems. However, there is little research on reconciling the requirements phase with the formal specification phase. To bridge this gap, we propose a model transformation method which utilizes the KAOS, as a requirement analysis method, into VDM++ formal specifications, and provide developers with a formal specification generator for model transformation. This method and generator enable consistent and effective software development activities. | |||||
| 書誌情報 |
ja : 情報処理学会論文誌 巻 49, 号 7, p. 2304-2318, 発行日 2008-07-15 |
|||||
| 出版者 | ||||||
| 出版者 | 情報処理学会 | |||||
| 権利 | ||||||
| 権利情報 | Copyright (c) 2008 by the Information Processing Society of Japan.本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 | |||||
| 関連サイト | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://id.nii.ac.jp/1001/00009490/ | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
