开发者 dbssve.sf.net

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