WEKO3
アイテム
{"_buckets": {"deposit": "4955c2a1-b03a-4872-a916-809068f99d81"}, "_deposit": {"id": "7803", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7803"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00007803", "sets": ["280", "392"]}, "item_7_alternative_title_1": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "複数バージョンのあるソフトウェアの自動検証・検査 : 複数バージョン管理時代のソフトウェアの品質向上"}]}, "item_7_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-09-26", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_7_date_granted_25": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2014-09-26"}]}, "item_7_degree_grantor_23": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "University of Tokyo(東京大学)"}]}]}, "item_7_degree_name_20": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(工学)"}]}, "item_7_description_6": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "学位の種別: 課程博士", "subitem_description_type": "Other"}, {"subitem_description": "審査委員会委員 : (主査)東京大学准教授 佐藤 周行, 東京大学教授 相田 仁, 東京大学教授 峯松 信明, 東京大学准教授 小川 剛史, 東京大学准教授 鶴岡 慶雅, 東京大学准教授 近山 隆, 日本IBMシニアリサーチャー 河内谷 清久仁", "subitem_description_type": "Other"}]}, "item_7_dissertation_number_26": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "12601甲第31029号"}]}, "item_7_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "140610", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Lei, Ma"}]}]}, "item_7_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15083/00007794", "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"}]}, "item_7_text_24": {"attribute_name": "研究科・専攻", "attribute_value_mlt": [{"subitem_text_value": "Department of Electrical Engineering and Information Systems, Graduate School of Engineering (工学系研究科電気系工学専攻)"}]}, "item_7_text_27": {"attribute_name": "学位記番号", "attribute_value_mlt": [{"subitem_text_value": "博工第8419号"}]}, "item_7_text_36": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "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": "140609", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A31029.pdf", "filesize": [{"value": "1.5 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1500000.0, "url": {"label": "A31029.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/7803/files/A31029.pdf"}, "version_id": "4d3f7813-ff77-471f-9263-e7687441f9dc"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "A31029_abstract.pdf", "filesize": [{"value": "84.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 84800.0, "url": {"label": "A31029_abstract.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/7803/files/A31029_abstract.pdf"}, "version_id": "ec8f8ba5-469f-4847-a62e-fac74cbdb444"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "A31029_review.pdf", "filesize": [{"value": "150.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 150200.0, "url": {"label": "A31029_review.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/7803/files/A31029_review.pdf"}, "version_id": "6b0033d7-52ce-4b00-9f64-c9ec6853e825"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions"}]}, "item_type_id": "7", "owner": "1", "path": ["280", "392"], "permalink_uri": "https://doi.org/10.15083/00007794", "pubdate": {"attribute_name": "公開日", "attribute_value": "2016-08-01"}, "publish_date": "2016-08-01", "publish_status": "0", "recid": "7803", "relation": {}, "relation_version_is_last": true, "title": ["Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions"], "weko_shared_id": null}
Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions
https://doi.org/10.15083/00007794
https://doi.org/10.15083/000077943a5e83ff-26f7-488d-acfd-c2d4cc71e3ff
名前 / ファイル | ライセンス | アクション |
---|---|---|
A31029.pdf (1.5 MB)
|
|
|
A31029_abstract.pdf (84.8 kB)
|
|
|
A31029_review.pdf (150.2 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2016-08-01 | |||||
タイトル | ||||||
タイトル | Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
ID登録 | ||||||
ID登録 | 10.15083/00007794 | |||||
ID登録タイプ | JaLC | |||||
その他のタイトル | ||||||
その他のタイトル | 複数バージョンのあるソフトウェアの自動検証・検査 : 複数バージョン管理時代のソフトウェアの品質向上 | |||||
著者 |
馬, 雷
× 馬, 雷 |
|||||
著者別名 | ||||||
識別子 | 140610 | |||||
識別子Scheme | WEKO | |||||
姓名 | Lei, Ma | |||||
著者所属 | ||||||
著者所属 | 工学系研究科電気系工学専攻 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位の種別: 課程博士 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 審査委員会委員 : (主査)東京大学准教授 佐藤 周行, 東京大学教授 相田 仁, 東京大学教授 峯松 信明, 東京大学准教授 小川 剛史, 東京大学准教授 鶴岡 慶雅, 東京大学准教授 近山 隆, 日本IBMシニアリサーチャー 河内谷 清久仁 | |||||
書誌情報 | 発行日 2014-09-26 | |||||
著者版フラグ | ||||||
値 | ETD | |||||
学位名 | ||||||
学位名 | 博士(工学) | |||||
学位 | ||||||
値 | doctoral | |||||
学位授与機関 | ||||||
学位授与機関名 | University of Tokyo(東京大学) | |||||
研究科・専攻 | ||||||
Department of Electrical Engineering and Information Systems, Graduate School of Engineering (工学系研究科電気系工学専攻) | ||||||
学位授与年月日 | ||||||
学位授与年月日 | 2014-09-26 | |||||
学位授与番号 | ||||||
学位授与番号 | 12601甲第31029号 | |||||
学位記番号 | ||||||
博工第8419号 |