Research on Highly Reliable Agile Formal Engineering Methods
Research on Highly Reliable Agile Formal Engineering Methods
高可靠敏捷形式化工程方法研究
批准号：
26240008
负责人：
LIU Shaoying
金额：
$18.3万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-06-27 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(67)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance
基于测试的形式验证：一种新的实用的软件质量保证方法
基于测试的形式验证：一种新的实用的软件质量保证方法
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Xiao Zhou, Cai-Zhi Zhu, Qiang Zhu, Shin'ichi Satoh, and Yu-Tang Guo, 奥宮清人, Shaoying Liu]
通讯作者：
Shaoying Liu
Integrating Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance
将规范动画与基于规范的程序测试和检查相结合以保证软件质量
将规范动画与基于规范的程序测试和检查相结合以保证软件质量
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Hashima, A., Y. Fukahata, C. Hashimoto, and M. Matsu’ura, 堀江康晃，藤代一成, Kazuo Okanoya, Shaoying Liu]
通讯作者：
Shaoying Liu
Automated Visualization of Input / Output for Processes in SOFL Formal Specifications
SOFL 正式规范中流程的输入/输出的自动可视化
SOFL 正式规范中流程的输入/输出的自动可视化
DOI：
--
发表时间：
2018
期刊：
Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)
影响因子：
--
作者：
[Yu Chen, Shaoying Liu]
通讯作者：
Shaoying Liu
DOI：
--
发表时间：
2018
期刊：
ACM Transactions on Software Engineering and Methodology
影响因子：
4.4
作者：
[Adrian Riesco, Kazuhiro Ogata]
通讯作者：
Kazuhiro Ogata
A Software Tool to Support the "Vibration" Method
支持“振动”方法的软件工具
支持“振动”方法的软件工具
DOI：
--
发表时间：
2018
期刊：
Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
影响因子：
--
作者：
[Pan Zhao, Shaoying Liu]
通讯作者：
Shaoying Liu
共 68 条
Research on Formal Specification-Based Program Testing
-
批准号：18500027
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.48万
-
财政年份：2006
-
负责人：LIU Shaoying
-
依托单位：
Formal Methods and Intelligent Software Engineering Environments
-
批准号：08044167
-
项目类别：Grant-in-Aid for international Scientific Research
-
资助金额：$7.68万
-
财政年份：1996
-
负责人：LIU Shaoying
-
依托单位：