PROGRAMS BY dbssve.sf.net

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 not