Flexible Refactoring and Effective Guiding of Stepwise Refinement Design

灵活重构,有效引导逐步细化设计

基本信息

  • 批准号:
    17H07323
  • 负责人:
  • 金额:
    $ 1.91万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
  • 财政年份:
    2017
  • 资助国家:
    日本
  • 起止时间:
    2017-08-25 至 2019-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
博士論文紹介:Supporting Planning and Refactoring of Refinement Structure of Event-B Models
博士论文简介:支持Event-B模型细化结构的规划与重构
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa;大槻知世;石川将吾;小林 努
  • 通讯作者:
    小林 努
トゥールーズ工科大学(フランス)
图卢兹理工学院(法国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Consistency-Preserving Refactoring of Refinement Structures in Event-B Models
事件 B 模型中细化结构的一致性保持重构
  • DOI:
    10.1007/s00165-019-00478-z
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tsutomu Kobayashi;Fuyuki Ishikawa;Shinichi Honiden
  • 通讯作者:
    Shinichi Honiden
Refactoring Refinement of Event-B Models
事件 B 模型的重构细化
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa
  • 通讯作者:
    Tsutomu Kobayashi and Fuyuki Ishikawa
Extracting Traceability between Predicates in Event-B Refinement
在事件 B 细化中提取谓词之间的可追溯性
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa;大槻知世;石川将吾;小林 努;石川将吾;Shinnosuke Saruwatari
  • 通讯作者:
    Shinnosuke Saruwatari
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Kobayashi Tsutomu其他文献

インフレーション宇宙における赤外発散問題とLargeゲージ変換
暴胀宇宙中的红外发散问题和大规范变换
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hirano Shin’ichi;Kobayashi Tsutomu;Yamauchi Daisuke;Yokoyama Shuichiro;田中貴浩
  • 通讯作者:
    田中貴浩
A new mechanism for freezing extra dimensions with higher-order curvature terms
一种用高阶曲率项冻结额外维度的新机制
  • DOI:
    10.1016/j.physletb.2020.135857
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    4.4
  • 作者:
    Tahara Hiroaki W.H.;Kobayashi Tsutomu;Yokoyama Jun'ichi
  • 通讯作者:
    Yokoyama Jun'ichi
How does S(N)-natural inflation isotropize the Universe?
S(N)-自然膨胀如何使宇宙各向同性?
  • DOI:
    10.1103/physrevd.107.043508
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    5
  • 作者:
    Murata Tomoaki;Fujita Tomohiro;Kobayashi Tsutomu
  • 通讯作者:
    Kobayashi Tsutomu
Nanohertz gravitational waves from a null-energy-condition violation in the early universe
早期宇宙中违反零能量条件的纳赫兹引力波
  • DOI:
    10.1103/physrevd.102.123533
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    5
  • 作者:
    Tahara Hiroaki W. H.;Kobayashi Tsutomu
  • 通讯作者:
    Kobayashi Tsutomu
初期宇宙におけるナノヘルツ重力波の生成
早期宇宙中纳赫兹引力波的产生
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tahara Hiroaki W. H.;Kobayashi Tsutomu;田原弘章;Hiroaki Tahara;田原弘章
  • 通讯作者:
    田原弘章

Kobayashi Tsutomu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Kobayashi Tsutomu', 18)}}的其他基金

Software adaptation with reasonable compromise using information on deductive proof of consistency
使用一致性演绎证明信息进行合理折衷的软件适配
  • 批准号:
    19K20249
  • 财政年份:
    2019
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Inheritance of architectural construction methods and architectural culture of machiya townhouses along the Sea of Japan coast (Hokuriku-Tohoku region), which flourished along the shipping routes
传承沿航路繁荣的日本海沿岸(北陆东北地区)町屋的建筑工法和建筑文化
  • 批准号:
    18K04490
  • 财政年份:
    2018
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
The role of SGO-1 in clonal evolution of B-cell malignancies
SGO-1 在 B 细胞恶性肿瘤克隆进化中的作用
  • 批准号:
    18K08367
  • 财政年份:
    2018
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Exploring stakeholder's experiences of implementing Sport for Development and Peace program in Japan
探索利益相关者在日本实施体育促进发展与和平计划的经验
  • 批准号:
    15K01603
  • 财政年份:
    2015
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Cosmology based on the most general single-field inflation model
基于最通用的单场暴胀模型的宇宙学
  • 批准号:
    24740161
  • 财政年份:
    2012
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)

相似海外基金

高分解能手指用MoCapを用いた段階的詳細化モデルによる指先接触力推定手法の構築
使用高分辨率手部 MoCap 的逐步详细模型构建指尖接触力估计方法
  • 批准号:
    22K12067
  • 财政年份:
    2022
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
ハ-ドウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証
使用硬件规格描述和微程序逐步阐述和验证实现
  • 批准号:
    02650266
  • 财政年份:
    1990
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了