{"created":"2023-07-27T06:53:15.341942+00:00","id":47640,"links":{},"metadata":{"_buckets":{"deposit":"4c2c54e9-9a2c-4680-b097-c62d94a65cb2"},"_deposit":{"created_by":18,"id":"47640","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"47640"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00047640","sets":["2812:2813:2822"]},"author_link":["397","84982"],"item_9_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-04-01","bibliographicIssueDateType":"Issued"},"bibliographicPageStart":"4p.","bibliographicVolumeNumber":"2007-2009","bibliographic_titles":[{"bibliographic_title":"平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書"},{"bibliographic_title":"2009 Fiscal Year Final Research Report","bibliographic_titleLang":"en"}]}]},"item_9_creator_33":{"attribute_name":"著者別表示","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{}],"nameIdentifiers":[{},{}]}]},"item_9_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。","subitem_description_type":"Abstract"}]},"item_9_description_22":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究課題/領域番号:19500025, 研究期間(年度):2007-2009","subitem_description_type":"Other"},{"subitem_description":"出典：研究課題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」課題番号19500025\n（KAKEN：科学研究費助成事業データベース（国立情報学研究所）） \n（https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/）を加工して作成","subitem_description_type":"Other"}]},"item_9_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報通信学系","subitem_description_type":"Other"}]},"item_9_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24517/00053964","subitem_identifier_reg_type":"JaLC"}]},"item_9_relation_28":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/search/?qm=70263506"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/search/?qm=70263506","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500025/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500025/","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-19500025/19500025seika/","subitem_relation_type_select":"URI"}}]},"item_9_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-05-13"}],"displaytype":"detail","filename":"TE-PR-YAMANE-S-kaken 2010-4p.pdf","filesize":[{"value":"245.0 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"TE-PR-YAMANE-S-kaken 2010-4p.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/47640/files/TE-PR-YAMANE-S-kaken 2010-4p.pdf"},"version_id":"d3fcf302-91b0-4efd-87d7-cb30c4850ba2"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法"},{"subitem_title":"Automatic verification method for large scale embedded object-oriented design based on predicate abstraction","subitem_title_language":"en"}]},"item_type_id":"9","owner":"18","path":["2822"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-05-13"},"publish_date":"2019-05-13","publish_status":"0","recid":"47640","relation_version_is_last":true,"title":["述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2023-07-27T13:24:23.389308+00:00"}