डीबीएसएसवीई सॉफ्टवेयर विकास के विनिर्देश और परीक्षण चरणों में सहज हल्के औपचारिक विनिर्देश का उपयोग करने के लिए एक एकल वातावरण है। इसके अलावा DBSSVE अन्य निर्णय आधारित विनिर्देश notations और भाषाओं के लिए विस्तारित किया जाएगा।
संस्करण इतिहास
- विवरण dbssve पर तैनात 2011-07-23
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-07-23
कार्यक्रम विवरण
- कोटि: नेटवर्क और इंटरनेट > अन्य
- प्रकाशक: dbssve.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows