{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00220056","sets":["6164:6165:6522:10985"]},"path":["10985"],"owner":"44499","recid":"220056","title":["VDM++仕様書におけるクラスとインスタンス変数定義の機械学習を用いた生成手法の提案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-08-29"},"_buckets":{"deposit":"289495d7-670c-471f-b277-d43557abc1a4"},"_deposit":{"id":"220056","pid":{"type":"depid","value":"220056","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"VDM++仕様書におけるクラスとインスタンス変数定義の機械学習を用いた生成手法の提案","author_link":["574865","574866"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"VDM++仕様書におけるクラスとインスタンス変数定義の機械学習を用いた生成手法の提案"},{"subitem_title":"Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"自動プログラム修正（一般論文）","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2022-08-29","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"宮崎大学"},{"subitem_text_value":"宮崎大学"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"University of Miyazaki","subitem_text_language":"en"},{"subitem_text_value":"University of Miyazaki","subitem_text_language":"en"}]},"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/220056/files/IPSJ-SES2022014.pdf","label":"IPSJ-SES2022014.pdf"},"date":[{"dateType":"Available","dateValue":"2024-08-29"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SES2022014.pdf","filesize":[{"value":"1.9 MB"}],"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":"0a076fd9-273a-46f3-93a4-9aaf7eda6a00","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"菅, 健将"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"片山, 徹郎"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"自然言語は従来曖昧さを含んでいるため、自然言語で書かれた仕様書はソフトウェアのバグを引き起こす可能性がある.この問題を解決するための方法の1つに、ソフトウェア開発においてVDM++のような形式手法を用いることが挙げられる.しかし人手によるVDM++仕様書の作成は困難であり、かつ、属人性が高いという問題がある.そこで我々の研究グループでは、自然言語仕様書を入力として、機械学習を用いたVDM++仕様書の生成手法を提案した.しかし、既存手法は、VDM++仕様書の型定義と定数定義にしか対応していないため、有用性が低い.本論文では、自然言語仕様書を入力として、VDM++仕様書におけるクラスとインスタンス変数定義の生成手法を提案し、既存手法に適用する.具体的には、単語間の上位・下位の関係を定量化し、機械学習の新たなパラメータとして利用する.提案手法により生成したVDM++仕様書と、既存手法により生成したVDM++仕様書を、正解のVDM++仕様書と比較した評価実験の結果、提案手法は、既存手法が生成する型定義と定数定義に加え、クラスとインスタンス変数定義を記述したVDM++仕様書を生成することが確認できた.以上のことから、提案手法は、既存手法の有用性を向上できたと言える.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"88","bibliographic_titles":[{"bibliographic_title":"ソフトウェアエンジニアリングシンポジウム2022論文集"}],"bibliographicPageStart":"79","bibliographicIssueDates":{"bibliographicIssueDate":"2022-08-29","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2022"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":220056,"updated":"2025-01-19T14:41:04.180041+00:00","links":{},"created":"2025-01-19T01:20:06.391127+00:00"}