Programmes par dbssve.sf.net

DBSSVE est un environnement unique pour utiliser une spécification formelle intuitive légère dans les phases de spécification et de test du développement de logiciels. DBSSVE sera également extensible à d’autres notations et