{"created":"2023-06-20T14:56:55.322825+00:00","id":43,"links":{},"metadata":{"_buckets":{"deposit":"42135181-c67a-4d89-9b8f-aff2867ef774"},"_deposit":{"created_by":13,"id":"43","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"43"},"status":"published"},"_oai":{"id":"oai:shibaura.repo.nii.ac.jp:00000043","sets":["1:7"]},"author_link":["55"],"item_10006_date_granted_11":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2015-03-17"}]},"item_10006_degree_grantor_9":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"芝浦工業大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"32619"}]}]},"item_10006_degree_name_8":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（工学）"}]},"item_10006_description_10":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"2014","subitem_description_type":"Other"}]},"item_10006_dissertation_number_12":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第174号"}]},"item_10006_version_type_18":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"青木 , 善貴"},{"creatorName":"アオキ, ヨシタカ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"55","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-08-19"}],"displaytype":"detail","filename":"Doctoral dissertation20140018.pdf","filesize":[{"value":"3.6 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"Doctoral dissertation20140018","url":"https://shibaura.repo.nii.ac.jp/record/43/files/Doctoral dissertation20140018.pdf"},"version_id":"3218d1df-6635-4099-89e1-c89606548fa0"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"ソフトウェアの品質向上のための開発現場におけるモデル検査技術を用いたソースコード検証の研究","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ソフトウェアの品質向上のための開発現場におけるモデル検査技術を用いたソースコード検証の研究"},{"subitem_title":"A Study on Source Code Verification Using Model Checking Technique for Improvement of Software Quality　on Development Site","subitem_title_language":"en"}]},"item_type_id":"10006","owner":"13","path":["7"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-08-19"},"publish_date":"2015-08-19","publish_status":"0","recid":"43","relation_version_is_last":true,"title":["ソフトウェアの品質向上のための開発現場におけるモデル検査技術を用いたソースコード検証の研究"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2023-06-20T15:06:10.725770+00:00"}