D.B.S.S.V.E.

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 3.0/5 - ‎1 ‎वोट

करीबन D.B.S.S.V.E.

डीबीएसएसवीई सॉफ्टवेयर विकास के विनिर्देश और परीक्षण चरणों में सहज हल्के औपचारिक विनिर्देश का उपयोग करने के लिए एक एकल वातावरण है। इसके अलावा DBSSVE अन्य निर्णय आधारित विनिर्देश notations और भाषाओं के लिए विस्तारित किया जाएगा।