Experience report: the reactis validation tool

Experience report: the reactis validation tool
复制标题

经验报告：reactis验证工具

DOI：
10.1145/1291151.1291172
复制
发表时间：
2007
期刊：
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)
影响因子：
--
通讯作者：
Daniel C. DuVarney
Daniel C. DuVarney
中科院分区：
--
文献类型：
--
作者：
Steve Sims;Daniel C. DuVarney

文献摘要

被引文献

相似文献

Reactis是一个商业上成功的测试和验证工具，它几乎完全是用标准ML实现的。我们使用函数式语言开发商业产品的经验让我们得出这样的结论：虽然函数式语言有一些缺点，但在Reactis的情况下，函数式语言的好处远远大于缺点。
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.