Programas por dbssve.sf.net

O DBSSVE é um ambiente único para utilizar uma especificação formal intuitiva leve nas fases de especificação e teste do desenvolvimento do software. Também o DBSSVE será extensível a outras notações e idiomas de especificaçõ