ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究

資料に関する注記

一般注記：: 学位の種別:課程博士審査委員会委員 : （主査）東京大学教授江崎浩, 東京大学教授平木敬, 東京大学教授石川正俊, 東京大学教授稲葉雅幸, 国立情報学研究所教授本位田真一

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

東京大学学術機関リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
東京大学学術機関リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 博士論文
タイトル: ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究
著者・編者: 井上, 拓
著者標目: 井上, 拓
出版年月日等: 2013-09-12
出版年（W3CDTF）: 2013-09-12
並列タイトル等: Static Analysis of UML/OCL Behavioral Models for Referential Integrity between Business Components
授与機関名: 東京大学
授与年月日: 2013-09-12
報告番号: 甲第29779号
学位: 博士(情報理工学)
本文の言語コード: jpn
対象利用者: 一般
一般注記: 学位の種別:課程博士
審査委員会委員 : （主査）東京大学教授江崎浩, 東京大学教授平木敬, 東京大学教授石川正俊, 東京大学教授稲葉雅幸, 国立情報学研究所教授本位田真一
DOI: 10.15083/00006242
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: 限定公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 東京大学 : 東京大学学術機関リポジトリ