{"created":"2021-03-01T06:22:58.481294+00:00","id":6251,"links":{},"metadata":{"_buckets":{"deposit":"e927845b-5063-4749-a38a-8271275c6408"},"_deposit":{"id":"6251","owners":[],"pid":{"revision_id":0,"type":"depid","value":"6251"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00006251","sets":["34:103:443","9:233:280"]},"author_link":["12807","12806"],"item_7_alternative_title_1":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Static Analysis of UML/OCL Behavioral Models for Referential Integrity between Business Components"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2013-09-12","bibliographicIssueDateType":"Issued"}}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2013-09-12"}]},"item_7_degree_grantor_23":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"東京大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"University of Tokyo"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12601","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_7_degree_name_20":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(情報理工学)","subitem_degreename_language":"ja"}]},"item_7_description_6":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"学位の種別:課程博士","subitem_description_language":"ja","subitem_description_type":"Other"},{"subitem_description":"審査委員会委員 : （主査）東京大学教授 江崎 浩, 東京大学教授 平木 敬, 東京大学教授 石川 正俊, 東京大学教授 稲葉 雅幸, 国立情報学研究所教授 本位田 真一","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_7_dissertation_number_26":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第29779号"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"12807","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Inoue, Taku"}]}]},"item_7_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15083/00006242","subitem_identifier_reg_type":"JaLC"}]},"item_7_select_12":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"ETD"}]},"item_7_select_21":{"attribute_name":"学位","attribute_value_mlt":[{"subitem_select_item":"doctoral","subitem_select_language":"en"}]},"item_7_text_24":{"attribute_name":"研究科・専攻","attribute_value_mlt":[{"subitem_text_value":"Department of Creative Informatics, Graduate School of Information Science and Technology (情報理工学系研究科創造情報学専攻)"}]},"item_7_text_27":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"博情第457号"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"情報理工学系研究科創造情報学専攻"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"井上, 拓"}],"nameIdentifiers":[{"nameIdentifier":"12806","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-06-01"}],"displaytype":"detail","filename":"A29779.pdf","filesize":[{"value":"3.8 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A29779.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/6251/files/A29779.pdf"},"version_id":"e4a9f1f2-bd63-4732-adf6-1a27473d5584"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-06-01"}],"displaytype":"detail","filename":"A29779_abstract.pdf","filesize":[{"value":"141.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A29779_abstract.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/6251/files/A29779_abstract.pdf"},"version_id":"f7bdc58a-3d3d-4d2b-84eb-a7d293d9d8d8"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-06-01"}],"displaytype":"detail","filename":"A29779_review.pdf","filesize":[{"value":"97.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A29779_review.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/6251/files/A29779_review.pdf"},"version_id":"a95c438f-0d48-4b12-974f-81ccc6f029f1"}]},"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":"ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究","subitem_title_language":"ja"}]},"item_type_id":"7","owner":"1","path":["443","280"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-08-21"},"publish_date":"2015-08-21","publish_status":"0","recid":"6251","relation_version_is_last":true,"title":["ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-19T05:32:07.846655+00:00"}