Description method and formal verification method with section behavior model based on software architecture
Description method and formal verification method with section behavior model based on software architecture
基于软件体系结构的分段行为模型描述方法和形式化验证方法
批准号：
19K11911
负责人：
Chang Han-Myung
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Design of Software Architecture for Neural Network Cooperation: Case of Forgery Detection
神经网络协作的软件架构设计：伪造检测案例
神经网络协作的软件架构设计：伪造检测案例
DOI：
--
发表时间：
2021
期刊：
Proc. 28th Asia-Pacific Software Engineering Conference
影响因子：
--
作者：
[Akira Mizutani, Masami Noro, Atsushi Sawada]
通讯作者：
Atsushi Sawada
ソフトウェアアーキテクチャに基づく組込みシステムの設計法に関する研究
基于软件体系结构的嵌入式系统设计方法研究
基于软件体系结构的嵌入式系统设计方法研究
DOI：
--
发表时间：
2019
期刊：
ソフトウェア工学の基礎XXVI（日本ソフトウェア科学会FOSE2019）
影响因子：
--
作者：
[Akira Mizutani, Masami Noro, Atsushi Sawada, 江坂篤侍，野呂昌満，繁田雅信，沢田篤史]
通讯作者：
江坂篤侍，野呂昌満，繁田雅信，沢田篤史
Specifying Abstract user Interface in VDM-SL
在 VDM-SL 中指定抽象用户界面
在 VDM-SL 中指定抽象用户界面
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Han-Myung Chang, Peter Gorm Larsen]
通讯作者：
Peter Gorm Larsen
並行システムデバッグ支援のためのフォールトパターンに関する考察
支持并发系统调试的故障模式考虑
支持并发系统调试的故障模式考虑
DOI：
--
发表时间：
2022
期刊：
情報処理学会研究報告（組込みシステム）
影响因子：
--
作者：
[張漢明，高木裕也，沢田篤史，野呂昌満]
通讯作者：
張漢明，高木裕也，沢田篤史，野呂昌満
IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案
实现物联网灵活互操作性的软件架构提案
实现物联网灵活互操作性的软件架构提案
DOI：
10.20729/00210550
发表时间：
2021
期刊：
情報処理学会論文誌
影响因子：
--
作者：
[名倉 正剛, 薄井 駿, 高田 眞吾, Taiki Iwao and Satoshi Fujita, 更田 裕司, 横山史明，沢田篤史，野呂昌満，江坂篤侍]
通讯作者：
横山史明，沢田篤史，野呂昌満，江坂篤侍
共 9 条
海外基金