WEKO3
アイテム
Supporting Planning and Refactoring of Refinement Structure of Event-B Models
https://doi.org/10.15083/00076182
https://doi.org/10.15083/0007618243724ded-b74c-4d11-a5da-db52f3fef093
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
|
![]() |
|
|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2018-09-06 | |||||
タイトル | ||||||
タイトル | Supporting Planning and Refactoring of Refinement Structure of Event-B Models | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
ID登録 | ||||||
ID登録 | 10.15083/00076182 | |||||
ID登録タイプ | JaLC | |||||
その他のタイトル | ||||||
その他のタイトル | Event-B モデルの詳細化構造の計画とリファクタリングの支援手法 | |||||
著者 |
小林, 努
× 小林, 努 |
|||||
著者別名 | ||||||
識別子Scheme | WEKO | |||||
識別子 | 151938 | |||||
姓名 | Kobayashi, Tsutomu | |||||
著者所属 | ||||||
著者所属 | 情報理工学系研究科コンピュータ科学専攻 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位の種別: 課程博士 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 審査委員会委員 : (主査)東京大学准教授 蓮尾 一郎, 東京大学教授 萩谷 昌己, 東京大学教授 小林 直樹, 東京大学教授 高野 明彦, 東京大学教授 千葉 滋 | |||||
書誌情報 | 発行日 2017-03-23 | |||||
著者版フラグ | ||||||
値 | ETD | |||||
学位名 | ||||||
学位名 | 博士(情報理工学) | |||||
学位 | ||||||
値 | doctoral | |||||
学位授与機関 | ||||||
学位授与機関名 | University of Tokyo(東京大学) | |||||
研究科・専攻 | ||||||
Department of Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻) | ||||||
学位授与年月日 | ||||||
学位授与年月日 | 2017-03-23 | |||||
学位授与番号 | ||||||
学位授与番号 | 12601甲第34090号 | |||||
学位記番号 | ||||||
博情第588号 |