D.B.S.S.V.E.

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

DBSSVE 是一个在软件开发的规范和测试阶段使用直观轻量级正式规范的单一环境。此外,DBSSVE 可扩展到其他基于决策的规范符号和语言。

版本历史记录

  • 版本 dbssve 发布于 2011-07-23
    若干修复和更新
  • 版本 N/A 发布于 2011-07-23

软件信息