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

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

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

DBSSVE is a single environment to utilize an intuitive lightweight formal specification in the specification and testing phases of software development. Also DBSSVE will be extensible to other decision-based specification notations and languages.