Research on Virtual Machine to Support Model-based Formal Methods
Research on Virtual Machine to Support Model-based Formal Methods
支持基于模型的形式化方法的虚拟机研究
批准号：
18K18033
负责人：
Oda Tomohiro
金额：
$2.16万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ViennaDoc: An Animatable and Testable Specification Documentation Tool
ViennaDoc：可动画且可测试的规范文档工具
ViennaDoc：可动画且可测试的规范文档工具
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[omohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen]
通讯作者：
Peter Gorm Larsen
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo
ViennaTalk，基于 Pharo 的 VDM-SL 实时 IDE
ViennaTalk，基于 Pharo 的 VDM-SL 实时 IDE
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
軽量形式手法VDMによるバーチャルマシンの開発
使用轻量级形式化方法VDM进行虚拟机开发
使用轻量级形式化方法VDM进行虚拟机开发
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[小田朋宏, 荒木啓二郎]
通讯作者：
荒木啓二郎
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：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[小田朋宏, 張漢明, 山本恭裕, 中小路久美代, 荒木啓二郎]
通讯作者：
荒木啓二郎
共 6 条
Introducing Assertions to Visual Programming Environment for Introductory Programming Education
-
批准号：26330099
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$1.75万
-
财政年份：2014
-
负责人：Oda Tomohiro
-
依托单位：