Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory
Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory
基于数学论证理论开发帮助解决规范不一致的工具
批准号：
19K11914
负责人：
Okamoto Keishi
金额：
$2.66万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(16)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Continuous modeling supports from business analysis to systems engineering in IoT development
物联网开发中从业务分析到系统工程的连续建模支持
物联网开发中从业务分析到系统工程的连续建模支持
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Toshinori Takai, Katsutoshi Shintani, Hideki Andoh and Hironori Washizaki]
通讯作者：
Hideki Andoh and Hironori Washizaki
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Keishi Okamoto, Hiroyuki Kido, Toshinori Takai]
通讯作者：
Toshinori Takai
自然言語処理の応用による要求仕様書中の矛盾検出手法の提案
提出一种使用自然语言处理来检测需求规范中的矛盾的方法
提出一种使用自然语言处理来检测需求规范中的矛盾的方法
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Hiroyuki Kido, Beishui Liao, 穀田一真，岡本圭史]
通讯作者：
穀田一真，岡本圭史
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy
贝叶斯遇上蕴涵和预测：具有非单调性、次一致性和预测准确性的常识推理
贝叶斯遇上蕴涵和预测：具有非单调性、次一致性和预测准确性的常识推理
DOI：
--
发表时间：
2020
期刊：
CoRR
影响因子：
--
作者：
[Hiroyuki Kido, Hiroyuki Kido, Hiroyuki Kido and Keishi Okamoto]
通讯作者：
Hiroyuki Kido and Keishi Okamoto
DOI：
--
发表时间：
2019
期刊：
arXiv
影响因子：
--
作者：
[Hiroyuki Kido, Beishui Liao]
通讯作者：
Beishui Liao
共 15 条
海外基金