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