Model-driven Development Method for Building Safe and Useful Services in IoT / CPS Systems
Model-driven Development Method for Building Safe and Useful Services in IoT / CPS Systems
在 IoT / CPS 系统中构建安全有用的服务的模型驱动开发方法
批准号：
18K11552
负责人：
Matsuura Saeko
金额：
$2.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(24)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
要求分析モデルと状態遷移モデルのクロスチェックによる要求検証ツールの開発
通过交叉检查需求分析模型和状态转换模型来开发需求验证工具
通过交叉检查需求分析模型和状态转换模型来开发需求验证工具
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[菅谷 至寛，坂井 清士郎，宮崎 智，大町 真一郎, 森田光，松浦佐江子]
通讯作者：
森田光，松浦佐江子
DOI：
10.5220/0009339001580166
发表时间：
2020
期刊：
影响因子：
--
作者：
[Saeko Matsuura;Sae Ikeda;Kasumi Yokotae]
通讯作者：
Saeko Matsuura;Sae Ikeda;Kasumi Yokotae
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki]
通讯作者：
Shinpei Ogata and Yoshitaka Aoki
要求分析モデルからの状態遷移抽出による振る舞いフローの妥当性確認支援
支持通过从需求分析模型中提取状态转换来验证行为流
支持通过从需求分析模型中提取状态转换来验证行为流
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[森田 光，松浦 佐江子]
通讯作者：
森田 光，松浦 佐江子
Validation Method To Improve Behavioral Flows On UML Requirements Analysis Model By Cross-Checking With State Transition Model
通过与状态转换模型交叉检查来改进 UML 需求分析模型行为流的验证方法
通过与状态转换模型交叉检查来改进 UML 需求分析模型行为流的验证方法
DOI：
10.5121/csit.2021.110201
发表时间：
2021
期刊：
10th International Conference on Software Engineering and Applications
影响因子：
--
作者：
[Hikaru Morita, Saeko Matsuura]
通讯作者：
Saeko Matsuura
共 18 条
海外基金