WEKO3
アイテム
ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究
https://doi.org/10.15083/00006242
https://doi.org/10.15083/00006242de8d7a41-cb67-4223-a61b-ba81afb8efe9
名前 / ファイル | ライセンス | アクション |
---|---|---|
A29779.pdf (3.8 MB)
|
|
|
A29779_abstract.pdf (141.1 kB)
|
|
|
A29779_review.pdf (97.6 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-08-21 | |||||
タイトル | ||||||
タイトル | ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究 | |||||
言語 | ja | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
資源タイプ | doctoral thesis | |||||
ID登録 | ||||||
ID登録 | 10.15083/00006242 | |||||
ID登録タイプ | JaLC | |||||
その他のタイトル | ||||||
その他のタイトル | Static Analysis of UML/OCL Behavioral Models for Referential Integrity between Business Components | |||||
著者 |
井上, 拓
× 井上, 拓 |
|||||
著者別名 | ||||||
識別子Scheme | WEKO | |||||
識別子 | 12807 | |||||
姓名 | Inoue, Taku | |||||
著者所属 | ||||||
値 | 情報理工学系研究科創造情報学専攻 | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位の種別:課程博士 | |||||
言語 | ja | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 審査委員会委員 : (主査)東京大学教授 江崎 浩, 東京大学教授 平木 敬, 東京大学教授 石川 正俊, 東京大学教授 稲葉 雅幸, 国立情報学研究所教授 本位田 真一 | |||||
言語 | ja | |||||
書誌情報 |
発行日 2013-09-12 |
|||||
著者版フラグ | ||||||
値 | ETD | |||||
学位名 | ||||||
言語 | ja | |||||
学位名 | 博士(情報理工学) | |||||
学位 | ||||||
言語 | en | |||||
値 | doctoral | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12601 | |||||
言語 | ja | |||||
学位授与機関名 | 東京大学 | |||||
言語 | en | |||||
学位授与機関名 | University of Tokyo | |||||
研究科・専攻 | ||||||
値 | Department of Creative Informatics, Graduate School of Information Science and Technology (情報理工学系研究科創造情報学専攻) | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2013-09-12 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第29779号 | |||||
学位記番号 | ||||||
言語 | ja | |||||
値 | 博情第457号 |