ViennaDoc: An Animatable and Testable Specification Documentation Tool
ViennaDoc: An Animatable and Testable Specification Documentation Tool
复制标题
ViennaDoc：可动画且可测试的规范文档工具
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Peter Gorm Larsen
中科院分区：
文献类型：
--
作者：
omohiro Oda;Keijiro Araki;Yasuhiro Yamamoto;Kumiyo Nakakoji;Hiroshi Sako;Han-Myung Chang;Peter Gorm Larsen
登录
查看更多内容
十年历史发展“引导”VDM Tools®
DOI：
--
发表时间：
2001
期刊：
Journal of universal computer science (Online)
影响因子：
--
作者：
P. Larsen
通讯作者：
P. Larsen
使用 VDM 模拟分布式实时系统的确定性解释器
DOI：
--
发表时间：
2011
期刊：
IEEE International Conference on Formal Engineering Methods
影响因子：
--
作者：
K. Lausdahl;P. Larsen;N. Battle
通讯作者：
N. Battle
ViennaTalk：专注于正式规范阶段早期的集成规范环境
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
T. Oda;K. Araki
通讯作者：
K. Araki
Pillar：一种多功能且可扩展的轻量级标记语言
DOI：
10.1145/2991041.2991066
发表时间：
2016
期刊：
International Workshop on Smalltalk Technologies
影响因子：
--
作者：
Thibault Arloing;Y. Dubois;Stéphane Ducasse;D. Cassou
通讯作者：
D. Cassou
将 PVSio-web 建模和原型环境与 Overture 集成
DOI：
--
发表时间：
2015
期刊：
--
影响因子：
--
作者：
P. Masci;P. Curzon;P. Larsen;L. Couto;L. Couto;P. Larsen
通讯作者：
P. Larsen