{"created":"2023-05-15T10:01:42.475147+00:00","id":6345,"links":{},"metadata":{"_buckets":{"deposit":"d2d2392d-0bce-461c-8c75-46daa3686a01"},"_deposit":{"created_by":5,"id":"6345","owner":"5","owners":[5],"pid":{"revision_id":0,"type":"depid","value":"6345"},"status":"published"},"_oai":{"id":"oai:miyazaki-u.repo.nii.ac.jp:00006345","sets":["73","73:36","73:36:330","73:36:330:469"]},"author_link":["33582","33583","6484"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2020-09-30","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"250","bibliographicPageStart":"245","bibliographicVolumeNumber":"49","bibliographic_titles":[{"bibliographic_title":"宮崎大学工学部紀要","bibliographic_titleLang":"ja"},{"bibliographic_title":"Memoirs of Faculty of Engineering, University of Miyazaki","bibliographic_titleLang":"en"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Specifications are generally written in natural language. Natural language contains ambiguity. As a method of writing a specification without ambiguity, VDM which is a formal method exists. Because it is difficult to write specification languages such as VDM++ because they have strict grammars data types and system invariants that are not found in natural language specifications. This study attempts to generate automatically a VDM++ specification from the natural language specification by using machine learning. For automatic generation of VDM++, it is necessary to extract predicates corresponding to the function names and nouns corresponding to variable names from the natural language specification. However,it is difficult to generate a VDM++ specification by using only the extracted nouns and predicates. This paper proposes an approach to generate automatically a VDM++ specification from extracted words list. An identifier is generated from the extracted words, and the VDM++ specification can be generated by converting this identifier into a VDM++ grammar.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"宮崎大学工学部","subitem_publisher_language":"ja"},{"subitem_publisher":"Faculty of Engineering, University of Miyazaki","subitem_publisher_language":"en"}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00732558","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"05404924","subitem_source_identifier_type":"ISSN"}]},"item_10002_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"}],"nameIdentifiers":[{"nameIdentifier":"33582","nameIdentifierScheme":"WEKO"}]},{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"0000000106573887","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"https://isni.org/isni/0000000106573887"}],"affiliationNames":[{"affiliationName":"宮崎大学","affiliationNameLang":"ja"},{"affiliationName":"University of Miyazaki","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"片山, 徹郎","creatorNameLang":"ja"},{"creatorName":"カタヤマ, テツロウ","creatorNameLang":"ja-Kana"},{"creatorName":"Katayama, Tetsuro","creatorNameLang":"en"}],"familyNames":[{"familyName":"片山","familyNameLang":"ja"},{"familyName":"カタヤマ","familyNameLang":"ja-Kana"},{"familyName":"Katayama","familyNameLang":"en"}],"givenNames":[{"givenName":"徹郎","givenNameLang":"ja"},{"givenName":"テツロウ","givenNameLang":"ja-Kana"},{"givenName":"Tetsuro","givenNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"6484","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"50283932","nameIdentifierScheme":"e-Rad_Researcher","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=50283932"}]},{"creatorNames":[{"creatorName":"Shigyo, Yasuhiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"33583","nameIdentifierScheme":"WEKO"}]},{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"0000000106573887","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"https://isni.org/isni/0000000106573887"}],"affiliationNames":[{"affiliationName":"宮崎大学","affiliationNameLang":"ja"},{"affiliationName":"University of Miyazaki","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"片山, 徹郎","creatorNameLang":"ja"},{"creatorName":"カタヤマ, テツロウ","creatorNameLang":"ja-Kana"},{"creatorName":"Katayama, Tetsuro","creatorNameLang":"en"}],"familyNames":[{"familyName":"片山","familyNameLang":"ja"},{"familyName":"カタヤマ","familyNameLang":"ja-Kana"},{"familyName":"Katayama","familyNameLang":"en"}],"givenNames":[{"givenName":"徹郎","givenNameLang":"ja"},{"givenName":"テツロウ","givenNameLang":"ja-Kana"},{"givenName":"Tetsuro","givenNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"6484","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"50283932","nameIdentifierScheme":"e-Rad_Researcher","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=50283932"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2021-06-08"}],"displaytype":"detail","filename":"Engineering_49_p245.pdf","filesize":[{"value":"2.1 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"本文","url":"https://miyazaki-u.repo.nii.ac.jp/record/6345/files/Engineering_49_p245.pdf"},"version_id":"6ed865f7-e9ef-4c79-8bf9-2d655b8e4ae0"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Natural language specification","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"VDM++","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Automatic generation","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Formal method","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"機械学習を用いて自然言語仕様書から生成した分類リストを用いたVDM++仕様書生成アプローチの提案","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"機械学習を用いて自然言語仕様書から生成した分類リストを用いたVDM++仕様書生成アプローチの提案","subitem_title_language":"ja"},{"subitem_title":"Proposal of an Approach to Generate VDM++ Specification from Classfied Lists of the Natural Language Specification by Machine Learning","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"5","path":["73","36","330","469"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2021-06-08"},"publish_date":"2021-06-08","publish_status":"0","recid":"6345","relation_version_is_last":true,"title":["機械学習を用いて自然言語仕様書から生成した分類リストを用いたVDM++仕様書生成アプローチの提案"],"weko_creator_id":"5","weko_shared_id":-1},"updated":"2024-12-26T06:44:03.275093+00:00"}