Program menurut dbssve.sf.net

DBSSVE adalah lingkungan tunggal untuk menggunakan spesifikasi formal ringan yang intuitif dalam spesifikasi dan fase pengujian pengembangan perangkat lunak. Juga DBSSVE akan diperluas ke notasi dan bahasa spesifikasi berbasi