Software Automatic Repair and Update Proposal by Virtual Developer
Software Automatic Repair and Update Proposal by Virtual Developer
批准号:
18K11241
负责人:
Atsumi Noritoshi
金额:
$2.83万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2018
资助国家:
日本
项目状态:
已结题
起止时间:
2018-04-01 至 2022-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
API利用パターンを用いた自動プログラム修正手法
利用API使用模式的自动程序修改方法
DOI:
--
发表时间:
2021
期刊:
影响因子:
--
作者:
[Natthawute Sae-Lim, Shinpei Hayashi, Motoshi Saeki, 荒木 良仁,桑原 寛明,國枝 義敏]
通讯作者:
荒木 良仁,桑原 寛明,國枝 義敏
情報流解析における制約付き機密度パラメータ
信息流分析中的约束敏感度参数
DOI:
--
发表时间:
2018
期刊:
影响因子:
--
作者:
[桑原 寛明, 國枝 義敏, 奥野 航平,内匠 真也,大月 勇人,瀧本 栄二,毛利 公一, 内匠 真也,奥野 航平 ,大月 勇人,瀧本 栄二,毛利 公一, 桑原 寛明,國枝 義敏.]
通讯作者:
桑原 寛明,國枝 義敏.
記述の共通性に着目したプログラムのダイジェスト化手法の提案
提出一种注重描述共性的程序消化方法
DOI:
--
发表时间:
2018
期刊:
影响因子:
--
作者:
[荒木 良仁, 桑原 寛明, 國枝 義敏, 長谷川 健太,桑原 寛明,國枝 義敏, 桑原 寛明,國枝 義敏, 荒木 良仁,桑原 寛明,國枝 義敏, 吉田 敦,加藤 大貴,蜂巣 吉成,桑原 寛明,阿草 清滋, 長谷川 健太,桑原 寛明,國枝 義敏, 桑原 寛明,國枝 義敏, 加藤 宗一郎,吉田 敦,蜂巣 吉成,桑原 寛明]
通讯作者:
加藤 宗一郎,吉田 敦,蜂巣 吉成,桑原 寛明
A Type System for Detecting Non-Terminating Stream Operations with Java Stream API
使用 Java Stream API 检测非终止流操作的类型系统
DOI:
10.11309/jssst.37.2_59
发表时间:
2020
期刊:
Computer Software
影响因子:
--
作者:
[長谷川 健太, 桑原 寛明, 國枝 義敏]
通讯作者:
國枝 義敏
Java Stream API によるストリーム操作の停止性検査のための型システム
使用 Java Stream API 对流操作进行可停止性检查的类型系统
DOI:
--
发表时间:
2018
期刊:
影响因子:
--
作者:
[長谷川 健太, 桑原 寛明, 國枝 義敏]
通讯作者:
國枝 義敏
共 15 条
Software Maintenance Support Environment based on Software Evolution Analysis
-
批准号:15K15973
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Atsumi Noritoshi
-
依托单位:
海外基金