Efficient runtime formal verification of aspect-oriented models@run.time systems
Efficient runtime formal verification of aspect-oriented models@run.time systems
面向方面的 models@run.time 系统的高效运行时形式化验证
批准号：
26330081
负责人：
Tahara Yasuyuki
金额：
$3.08万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Goal Oriented Refinement Pattern Driven Use Case Modelling
面向目标的细化模式驱动的用例建模
面向目标的细化模式驱动的用例建模
DOI：
10.14923/transinfj.2015pdp0017
发表时间：
2016
期刊：
電子情報通信学会論文誌D 情報・システム
影响因子：
--
作者：
[Minato Sato, Ryohei Orihara, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga, 本田耕三，平山秀昭，中川博之，田原康之，大須賀昭彦]
通讯作者：
本田耕三，平山秀昭，中川博之，田原康之，大須賀昭彦
Curation Agent Based on Semantic Relations between Events
基于事件间语义关系的策展代理
基于事件间语义关系的策展代理
DOI：
10.14923/transinfj.2014swp0017
发表时间：
2015
期刊：
電子情報通信学会論文誌D 情報・システム
影响因子：
--
作者：
[Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga, 横尾亮平,川村隆浩,清雄一,田原康之,大須賀昭彦]
通讯作者：
横尾亮平,川村隆浩,清雄一,田原康之,大須賀昭彦
Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation
基于MAPE循环封装的嵌入式系统软件演进
基于MAPE循环封装的嵌入式系统软件演进
DOI：
10.1109/saso.2014.45
发表时间：
2014
期刊：
Proc. of IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems
影响因子：
--
作者：
[Hiroyuki Nakagawa, Takumitsu Kudo, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga]
通讯作者：
Akihiko Ohsuga
加速度センサを用いた犬の行動認識
使用加速度传感器识别狗的行为
使用加速度传感器识别狗的行为
DOI：
--
发表时间：
2014
期刊：
合同エージェントワークショップ＆シンポジウム2014 (JAWS 2014)論文集
影响因子：
--
作者：
[清原達弥, 折原良平, 清雄一, 田原康之, 大須賀昭彦]
通讯作者：
大須賀昭彦
Deployment of Semantic Analysis to Call Center
将语义分析部署到呼叫中心
将语义分析部署到呼叫中心
DOI：
--
发表时间：
2014
期刊：
Proceedings of 13th International Semantic Web Conference (ISWC 2014)
影响因子：
--
作者：
[T. Kawamura, S. Nagano, A. Ohsuga]
通讯作者：
A. Ohsuga
共 99 条
Research on autonomous cooperative self-adaptation mechanisms and formal verification of them
-
批准号：18H03229
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.07万
-
财政年份：2018
-
负责人：Tahara Yasuyuki
-
依托单位：
海外基金