{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00203485","sets":["1164:1384:10151:10152"]},"path":["10152"],"owner":"44499","recid":"203485","title":["修正候補検出を目的とした時相論理に基づく要求仕様書の分析"],"pubdate":{"attribute_name":"公開日","attribute_value":"2020-02-24"},"_buckets":{"deposit":"74237f0f-cf4a-489a-a584-6d3983959c1a"},"_deposit":{"id":"203485","pid":{"type":"depid","value":"203485","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"修正候補検出を目的とした時相論理に基づく要求仕様書の分析","author_link":["501770","501771","501772","501768","501773","501774","501775","501769"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"修正候補検出を目的とした時相論理に基づく要求仕様書の分析"},{"subitem_title":"Analyzing a Requirements Specification Document Based on Temporal Logic for Identifying Correction Candidates","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"要求と設計","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2020-02-24","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋大学"},{"subitem_text_value":"名古屋大学"},{"subitem_text_value":"名古屋大学"},{"subitem_text_value":"名古屋大学"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/203485/files/IPSJ-SE20204014.pdf","label":"IPSJ-SE20204014.pdf"},"date":[{"dateType":"Available","dateValue":"2022-02-24"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE20204014.pdf","filesize":[{"value":"968.3 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"c3976cdc-1d83-4c17-8d59-9c091c357604","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2020 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"永田, 拓也"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"山本, 椋太"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"吉田, 則裕"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"高田, 広章"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takuya, Nagata","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Ryota, Yamamoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Norihiro, Yoshida","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroaki, Takada","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"組込みシステムの開発の現場では，開発対象のシステムの仕様を開発前に決定し要求仕様書にまとめる．要求仕様書は自然言語で記述されることから，文書内に誤り・曖昧表現を含む場合が考えられる．関連研究に，要求仕様書に対して形態素解析システムおよび日本語格・照応解析システムによる分析を加え状態遷移モデルの抽出支援を行う研究がある．この研究では，要求仕様書中の文を字句・構文解析によって節へ分割され 3 種類の分類がなされた．本研究では，この状態遷移モデルを抽出支援するツールの中間出力を用いた手法を提案する．提案手法では時相論理における曖昧表現を修正候補とし，要求仕様書中に含まれる時相論理に関する記述に着目して分析を行うことで．修正候補を検出を行う．提案手法において，時相論理を含む自然言語が記述できる形式言語を定義した．修正候補の検出を行うために，要求仕様書中に現れる時相論理に関係すると考えられる単語を抽出し辞書作成を行なった．作成辞書は，日本語シソーラス辞書を活用し類似の意味を持つ単語を含む．本手法の適用実験を自動車向け組込みシステムに対して実施した，修正候補の正解集合と提案手法による抽出数の比較を行った結果，要求仕様書中の特定の節に対して手法の効果を確認した．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2020-02-24","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"14","bibliographicVolumeNumber":"2020-SE-204"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":203485,"updated":"2025-01-19T20:31:48.396444+00:00","links":{},"created":"2025-01-19T01:05:53.991455+00:00"}