课题基金 / 基金详情

Flexible Refactoring and Effective Guiding of Stepwise Refinement Design

Flexible Refactoring and Effective Guiding of Stepwise Refinement Design
灵活重构，有效引导逐步细化设计
批准号：
17H07323
负责人：
Kobayashi Tsutomu
金额：
$1.91万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-08-25 至 2019-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-17H07323/
关键词：
ソフトウェア段階的詳細化形式手法ソフトウェアモデリングソフトウエア開発効率化・安定化Event-Bプロブレムフレーム

项目摘要

项目成果

Kobayashi Tsutomu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
博士論文紹介：Supporting Planning and Refactoring of Refinement Structure of Event-B Models
博士论文简介：支持Event-B模型细化结构的规划与重构
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Ishikawa Shogo, Kashikawa Nobunari, Toshikawa Jun, Tanaka Masayuki, Hamana Takashi, Niino Yuu, Ichikawa Kohei, Uchiyama Hisakazu, 大槻知世, Tsutomu Kobayashi and Fuyuki Ishikawa, 大槻知世, 石川将吾, 小林 努]
通讯作者： 小林 努
Consistency-Preserving Refactoring of Refinement Structures in Event-B Models
事件 B 模型中细化结构的一致性保持重构
DOI： 10.1007/s00165-019-00478-z
发表时间： 2019
期刊： Formal Aspects of Compupting
影响因子： --
作者： [Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden]
通讯作者： Shinichi Honiden
トゥールーズ工科大学(フランス)
图卢兹理工学院（法国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Refactoring Refinement of Event-B Models
事件 B 模型的重构细化
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [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
共 6 条
    Software adaptation with reasonable compromise using information on deductive proof of consistency
    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
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2018
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      Wayo Women's University
    The role of SGO-1 in clonal evolution of B-cell malignancies
    • 批准号：
      18K08367
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2018
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      Kyoto Prefectural University of Medicine
    Exploring stakeholder's experiences of implementing Sport for Development and Peace program in Japan
    • 批准号：
      15K01603
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2015
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      Chuo University
    海外基金