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

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

關於 D.B.S.S.V.E.

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