{"created":"2023-07-27T06:26:20.179823+00:00","id":10010,"links":{},"metadata":{"_buckets":{"deposit":"ee560ed1-f8f4-4ef1-9c86-4ebfa4a5caf8"},"_deposit":{"created_by":3,"id":"10010","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"10010"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00010010","sets":["934:935:936"]},"author_link":["14735","14734","402","14736"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-05-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicPageEnd":"1503","bibliographicPageStart":"1492","bibliographicVolumeNumber":"E91-D","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Information and Systems"}]}]},"item_4_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"There are two ways to describe a state machine as an algebraic specification: a behavioral specification and a rewrite specification. In this study, we propose a translation system from behavioral specifications to rewrite specifications to obtain a verification system which has the strong points of verification techniques for both specifications. Since our translation system is complete with respect to invariant properties, it helps us to obtain a counter-example for an invariant property through automatic exhaustive searching for a rewrite specification. Copyright © 2008 The Institute of Electronics, Information and Communication Engineers.","subitem_description_type":"Abstract"}]},"item_4_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報学系","subitem_description_type":"Other"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"The Institute of Electronics, Information and Communication Engineers = 電子情報通信学会"}]},"item_4_relation_12":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.1093/ietisy/e91-d.5.1492","subitem_relation_type_select":"DOI"}}]},"item_4_source_id_11":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AA10826272","subitem_source_identifier_type":"NCID"}]},"item_4_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0916-8532","subitem_source_identifier_type":"ISSN"}]},"item_4_version_type_25":{"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":"Nakamura, Masaki"}],"nameIdentifiers":[{},{}]},{"creatorNames":[{"creatorName":"Kong, Weiqiang"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Ogata, Kazuhiro"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Futatsugi, Kokichi"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-03"}],"displaytype":"detail","filename":"TE-PR-NAKAMURA-M-1492.pdf","filesize":[{"value":"312.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"TE-PR-NAKAMURA-M-1492.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/10010/files/TE-PR-NAKAMURA-M-1492.pdf"},"version_id":"5a9a9a80-26c6-42ed-8575-2dfb651b29ee"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"A Specification Translation from behavioral Specification to rewrite Specifications","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Specification Translation from behavioral Specification to rewrite Specifications"}]},"item_type_id":"4","owner":"3","path":["936"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-10-03"},"publish_date":"2017-10-03","publish_status":"0","recid":"10010","relation_version_is_last":true,"title":["A Specification Translation from behavioral Specification to rewrite Specifications"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-07-28T01:45:03.079889+00:00"}