Atur cara mengikut dbssve.sf.net

DBSSVE adalah persekitaran tunggal untuk menggunakan spesifikasi formal ringan intuitif dalam spesifikasi dan fasa ujian pembangunan perisian. Juga DBSSVE akan dapat diperingkatkan kepada notasi dan bahasa spesifikasi berasas