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.
VERSION HISTORY
- Version dbssve posted on 2011-07-23
Several fixes and updates - Version N/A posted on 2011-07-23
Program Details
- Category: Network & Internet > Other
- Publisher: dbssve.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows