课题基金 / 基金详情

Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement

Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement
逐步求精中的复杂度分布与一致性保证研究
批准号：
26700005
负责人：
Ishikawa Fuyuki
金额：
$3.74万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (A)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26700005/
关键词：
形式手法システムモデリング段階的詳細化サイバーフィジカルシステムソフトウエア開発効率化・安定化定理証明Event-B要求分析プロブレムフレームAssurance Case

项目摘要

项目成果

Ishikawa Fuyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Slice and Merge
切片和合并
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Refinement Engineering for Reducing Complexity in Reliability Assurance
降低可靠性保证复杂性的精细化工程
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [Fuyuki Ishikawa, Tsutomu Kobayashi, Fuyuki Ishikawa]
通讯作者： Fuyuki Ishikawa
SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines
SliceAndMerge：用于重构 Event-B 机器细化结构的 Rodin 插件
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa, Shinichi Honiden]
通讯作者： Shinichi Honiden
Stepwise Refinement of Software Development Problem Analysis
软件开发问题分析的逐步细化
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden]
通讯作者： and Shinichi Honiden
共 10 条
    Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
    • 批准号：
      17H01727
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.15万
    • 财政年份：
      2017
    • 负责人：
      Ishikawa Fuyuki
    • 依托单位：
      National Institute of Informatics
    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
    海外基金