Technology for Reliable Reactive Programming
Technology for Reliable Reactive Programming
可靠的反应式编程技术
批准号：
17H01726
负责人：
Hosobe Hiroshi
金额：
$11.73万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
データ駆動文書のためのAPIの改良
改进了数据驱动文档的 API
改进了数据驱动文档的 API
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Yota Inayama and Hiroshi Hosobe, Guillermina Cledou and Shin Nakajima, 細部博史]
通讯作者：
細部博史
Trace-based Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations
通过双向图转换进行基于跟踪的错误预防和一致性维护检测
通过双向图转换进行基于跟踪的错误预防和一致性维护检测
DOI：
10.1109/qrs-c51114.2020.00025
发表时间：
2020
期刊：
Companion Proceedings of the 20th IEEE International Conference on Software Quality, Reliability and Security (QRS2020)
影响因子：
--
作者：
[Habu Mikiya, Hidaka Soichiro, Soichiro Hidaka]
通讯作者：
Soichiro Hidaka
Formal Analysis of Causal Loop Diagrams
因果循环图的形式分析
因果循环图的形式分析
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[中島震, Guillermina Cledou, Shin Nakajima]
通讯作者：
Shin Nakajima
Processingプログラムにおけるイベント処理のユニットテスト手法
Processing程序中事件处理的单元测试方法
Processing程序中事件处理的单元测试方法
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Yota Inayama and Hiroshi Hosobe, Guillermina Cledou and Shin Nakajima, 細部博史, Hiroshi Hosobe, 細部博史]
通讯作者：
細部博史
双方向変換を用いたコードクローン間の選択的な更新伝播手法
使用双向转换的代码克隆之间的选择性更新传播方法
使用双向转换的代码克隆之间的选择性更新传播方法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[相原 崇弘, 日高 宗一郎]
通讯作者：
日高 宗一郎
共 15 条
Automated Debugging with Soft Constraints(Fostering Joint International Research)
-
批准号：15KK0016
-
项目类别：Fund for the Promotion of Joint International Research (Fostering Joint International Research)
-
资助金额：$7.16万
-
财政年份：2016
-
负责人：Hosobe Hiroshi
-
依托单位：
海外基金