@article{oai:uec.repo.nii.ac.jp:00009122,
 author = {中川, 博之 and Nakagawa, Hiroyuki and 田口, 研治 and Taguchi, Kenji and 本位田, 真一 and Honiden, Shinichi},
 issue = {7},
 journal = {情報処理学会論文誌},
 month = {Jul},
 note = {近年，ソフトウェアの複雑化により，要求分析の重要性が認識されるとともに形式手法によるモデルの詳細化が注目されている．しかし，形式手法による仕様の記述は開発者にとって容易ではなく，要求を満足するソフトウェア構築は依然として容易ではない．そこで本研究では，要求分析法KAOSにより記述された要求記述を形式仕様言語VDM++の形式仕様へと自動変換する手法と，本手法を用いた開発プロセスを提案する．本研究により，形式仕様の構築が容易になるとともに，要求記述と形式仕様間の整合性が保証され，モデル詳細化によるソフトウェア開発が実現される．, 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.},
 pages = {2304--2318},
 title = {モデル変換に基づく要求記述を利用した形式仕様の構築},
 volume = {49},
 year = {2008},
 yomi = {ナカガワ, ヒロユキ and タグチ, ケンジ and ホンイデン, シンイチ}
}