ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "4453784c-e63c-4f9c-b2ae-1bfe004c5225"}, "_deposit": {"id": "51061", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "51061"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00051061"}, "item_7_alternative_title_1": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Event-B \u30e2\u30c7\u30eb\u306e\u8a73\u7d30\u5316\u69cb\u9020\u306e\u8a08\u753b\u3068\u30ea\u30d5\u30a1\u30af\u30bf\u30ea\u30f3\u30b0\u306e\u652f\u63f4\u624b\u6cd5"}]}, "item_7_biblio_info_7": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2017-03-23", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_7_date_granted_25": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u5e74\u6708\u65e5", "attribute_value_mlt": [{"subitem_dategranted": "2017-03-23"}]}, "item_7_degree_grantor_23": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u6a5f\u95a2", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "University of Tokyo(\u6771\u4eac\u5927\u5b66)"}]}]}, "item_7_degree_name_20": {"attribute_name": "\u5b66\u4f4d\u540d", "attribute_value_mlt": [{"subitem_degreename": "\u535a\u58eb(\u60c5\u5831\u7406\u5de5\u5b66)"}]}, "item_7_description_6": {"attribute_name": "\u5185\u5bb9\u8a18\u8ff0", "attribute_value_mlt": [{"subitem_description": "\u5b66\u4f4d\u306e\u7a2e\u5225: \u8ab2\u7a0b\u535a\u58eb", "subitem_description_type": "Other"}, {"subitem_description": "\u5be9\u67fb\u59d4\u54e1\u4f1a\u59d4\u54e1 : \uff08\u4e3b\u67fb\uff09\u6771\u4eac\u5927\u5b66\u51c6\u6559\u6388 \u84ee\u5c3e \u4e00\u90ce, \u6771\u4eac\u5927\u5b66\u6559\u6388 \u8429\u8c37 \u660c\u5df1, \u6771\u4eac\u5927\u5b66\u6559\u6388 \u5c0f\u6797 \u76f4\u6a39, \u6771\u4eac\u5927\u5b66\u6559\u6388 \u9ad8\u91ce \u660e\u5f66, \u6771\u4eac\u5927\u5b66\u6559\u6388 \u5343\u8449 \u6ecb", "subitem_description_type": "Other"}]}, "item_7_dissertation_number_26": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u756a\u53f7", "attribute_value_mlt": [{"subitem_dissertationnumber": "12601\u7532\u7b2c34090\u53f7"}]}, "item_7_full_name_3": {"attribute_name": "\u8457\u8005\u5225\u540d", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "151938", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Kobayashi, Tsutomu"}]}]}, "item_7_identifier_registration": {"attribute_name": "ID\u767b\u9332", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15083/00076182", "subitem_identifier_reg_type": "JaLC"}]}, "item_7_select_12": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "ETD"}]}, "item_7_select_21": {"attribute_name": "\u5b66\u4f4d", "attribute_value_mlt": [{"subitem_select_item": "doctoral"}]}, "item_7_text_24": {"attribute_name": "\u7814\u7a76\u79d1\u30fb\u5c02\u653b", "attribute_value_mlt": [{"subitem_text_value": "Department of Computer Science, Graduate School of Information Science and Technology (\u60c5\u5831\u7406\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u79d1\u5b66\u5c02\u653b)"}]}, "item_7_text_27": {"attribute_name": "\u5b66\u4f4d\u8a18\u756a\u53f7", "attribute_value_mlt": [{"subitem_text_value": "\u535a\u60c5\u7b2c588\u53f7"}]}, "item_7_text_36": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "item_7_text_4": {"attribute_name": "\u8457\u8005\u6240\u5c5e", "attribute_value_mlt": [{"subitem_text_value": "\u60c5\u5831\u7406\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u79d1\u5b66\u5c02\u653b"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u5c0f\u6797, \u52aa"}], "nameIdentifiers": [{"nameIdentifier": "151937", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-09-06"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A34090.pdf", "filesize": [{"value": "1.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1300000.0, "url": {"label": "A34090.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/51061/files/A34090.pdf"}, "version_id": "a23c489c-96d1-4112-a48a-1ad7d5a2dabb"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-09-06"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "A34090_abstract.pdf", "filesize": [{"value": "165.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 165700.0, "url": {"label": "A34090_abstract.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/51061/files/A34090_abstract.pdf"}, "version_id": "513dcfef-dc31-404a-9976-a99dc4cf59e0"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-09-06"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "A34090_review.pdf", "filesize": [{"value": "89.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 89200.0, "url": {"label": "A34090_review.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/51061/files/A34090_review.pdf"}, "version_id": "b3f67650-b123-4dfc-818b-e500986b22e6"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "Supporting Planning and Refactoring of Refinement Structure of Event-B Models", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Supporting Planning and Refactoring of Refinement Structure of Event-B Models"}]}, "item_type_id": "7", "owner": "1", "path": ["9/233/280", "34/95/465"], "permalink_uri": "https://doi.org/10.15083/00076182", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2018-09-06"}, "publish_date": "2018-09-06", "publish_status": "0", "recid": "51061", "relation": {}, "relation_version_is_last": true, "title": ["Supporting Planning and Refactoring of Refinement Structure of Event-B Models"], "weko_shared_id": null}
  1. 124 情報理工学系研究科
  2. 10 コンピュータ科学専攻
  3. 1241020 博士論文(コンピュータ科学専攻)
  1. 0 資料タイプ別
  2. 20 学位論文
  3. 021 博士論文

Supporting Planning and Refactoring of Refinement Structure of Event-B Models

https://doi.org/10.15083/00076182
43724ded-b74c-4d11-a5da-db52f3fef093
名前 / ファイル ライセンス アクション
A34090.pdf A34090.pdf (1.3 MB)
A34090_abstract.pdf A34090_abstract.pdf (165.7 kB)
A34090_review.pdf A34090_review.pdf (89.2 kB)
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 モデルの詳細化構造の計画とリファクタリングの支援手法
著者 小林, 努

× 小林, 努

WEKO 151937

小林, 努

Search repository
著者別名
識別子
識別子 151938
識別子Scheme WEKO
姓名
姓名 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号
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:47:30.811705
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio