课题基金 / 基金详情

Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models

Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
有保证的多级系统模型的持续灵活的复杂性和演化
批准号：
17H01727
负责人：
Ishikawa Fuyuki
金额：
$9.15万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01727/
关键词：
ソフトウェア開発効率化・安定化形式手法システムモデリング段階的詳細化Cyber-Physical Systemsソフトウエア開発効率化・安定化

项目摘要

项目成果

Ishikawa Fuyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
IRIT(フランス)
IRIT（法国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Analysis on Strategies of Superposition Refinement of Event-B Specifications
B事件规范叠加细化策略分析
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [Tsutomu Kobayashi, Fuyuki Ishikawa]
通讯作者： Fuyuki Ishikawa
Change Impact Analysis for Refinement-Based Formal Specification
基于细化的形式规范的变更影响分析
DOI： 10.1587/transinf.2018fop0006
发表时间： 2019
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [SARUWATARI Shinnosuke, ISHIKAWA Fuyuki, KOBAYASHI Tsutomu, HONIDEN Shinichi]
通讯作者： HONIDEN Shinichi
Construction of Abstract State Graphs for Understanding Event-B Models
构建抽象状态图以理解事件 B 模型
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden]
通讯作者： Fuyuki Ishikawa and Shinichi Honiden
共 11 条
    Transactions of telomere components
    • 批准号：
      15H02383
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $25.88万
    • 财政年份：
      2015
    • 负责人：
      Ishikawa Fuyuki
    • 依托单位：
      Kyoto University
    Detection of Unexpected by Runtime Goal Model Tracking
    • 批准号：
      15K12012
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.08万
    • 财政年份：
      2015
    • 负责人：
      Ishikawa Fuyuki
    • 依托单位：
      National Institute of Informatics
    Identification of low-dose stress-responsive pathways
    • 批准号：
      15K14449
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.5万
    • 财政年份：
      2015
    • 负责人：
      Ishikawa Fuyuki
    • 依托单位：
      Kyoto University
    Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement
    • 批准号：
      26700005
    • 项目类别：
      Grant-in-Aid for Young Scientists (A)
    • 资助金额：
      $3.74万
    • 财政年份：
      2014
    • 负责人：
      Ishikawa Fuyuki
    • 依托单位：
      National Institute of Informatics
    海外基金