WEKO3
アイテム
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 | |||||
| その他のタイトル | ||||||
| その他のタイトル | 複数バージョンのあるソフトウェアの自動検証・検査 : 複数バージョン管理時代のソフトウェアの品質向上 | |||||
| 著者 |
馬, 雷
× 馬, 雷 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 140610 | |||||
| 姓名 | 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号 | ||||||
