Programmi di dbssve.sf.net

DBSSVE è un unico ambiente per utilizzare una specifica formale leggera intuitiva nelle fasi di specifica e test dello sviluppo software. Anche DBSSVE sarà estensibile ad altre notazioni e linguaggi di specifica basati su dec