開發者 dbssve.sf.net

DBSSVE 是一個在軟體開發的規範和測試階段使用直觀羽量級正式規範的單一環境。此外，DBSSVE 可擴展到其他基於決策的規範符號和語言。