{"created":"2023-05-15T08:43:57.553228+00:00","id":9122,"links":{},"metadata":{"_buckets":{"deposit":"48d5e9e2-71ed-4e0b-8768-0c264ae78397"},"_deposit":{"created_by":13,"id":"9122","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"9122"},"status":"published"},"_oai":{"id":"oai:uec.repo.nii.ac.jp:00009122","sets":["6"]},"author_link":["24771","24890","24794"],"control_number":"9122","item_10001_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-07-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7","bibliographicPageEnd":"2318","bibliographicPageStart":"2304","bibliographicVolumeNumber":"49","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌","bibliographic_titleLang":"ja"}]}]},"item_10001_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"近年，ソフトウェアの複雑化により，要求分析の重要性が認識されるとともに形式手法によるモデルの詳細化が注目されている．しかし，形式手法による仕様の記述は開発者にとって容易ではなく，要求を満足するソフトウェア構築は依然として容易ではない．そこで本研究では，要求分析法KAOSにより記述された要求記述を形式仕様言語VDM++の形式仕様へと自動変換する手法と，本手法を用いた開発プロセスを提案する．本研究により，形式仕様の構築が容易になるとともに，要求記述と形式仕様間の整合性が保証され，モデル詳細化によるソフトウェア開発が実現される．","subitem_description_type":"Abstract"},{"subitem_description":"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.","subitem_description_type":"Abstract"}]},"item_10001_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会"}]},"item_10001_relation_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://id.nii.ac.jp/1001/00009490/","subitem_relation_type_select":"URI"}}]},"item_10001_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright (c) 2008 by the Information Processing Society of Japan.本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"}]},"item_10001_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中川, 博之","creatorNameLang":"ja"},{"creatorName":"ナカガワ, ヒロユキ","creatorNameLang":"ja-Kana"},{"creatorName":"Nakagawa, Hiroyuki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"田口, 研治","creatorNameLang":"ja"},{"creatorName":"タグチ, ケンジ","creatorNameLang":"ja-Kana"},{"creatorName":"Taguchi, Kenji","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"本位田, 真一","creatorNameLang":"ja"},{"creatorName":"ホンイデン, シンイチ","creatorNameLang":"ja-Kana"},{"creatorName":"Honiden, Shinichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-04-15"}],"displaytype":"detail","filename":"IPSJ-JNL4907005.pdf","filesize":[{"value":"597.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IPSJ-JNL4907005","url":"https://uec.repo.nii.ac.jp/record/9122/files/IPSJ-JNL4907005.pdf"},"version_id":"97da14b9-5824-41af-8775-abd2ea4f3327"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"モデル変換に基づく要求記述を利用した形式仕様の構築","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"モデル変換に基づく要求記述を利用した形式仕様の構築","subitem_title_language":"ja"},{"subitem_title":"Constructing Formal Specifications from Requirements Specifications Based on Model Transformation","subitem_title_language":"en"}]},"item_type_id":"10001","owner":"13","path":["6"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-04-15"},"publish_date":"2019-04-15","publish_status":"0","recid":"9122","relation_version_is_last":true,"title":["モデル変換に基づく要求記述を利用した形式仕様の構築"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2024-03-01T06:24:00.576095+00:00"}