Programy według dbssve.sf.net

DBSSVE to jedno środowisko do wykorzystania intuicyjnej lekkiej specyfikacji formalnej w fazie specyfikacji i testowania oprogramowania. Również DBSSVE będzie rozszerzalny do innych opartych na podejmowaniu decyzji specyfikac