Overture: Formal modelling in VDM

संबंधित कार्यक्रम

• Mkulu QA Proxy मुफ्त

  मकुलु क्यूए प्रॉक्सी का उपयोग HTTP पैकेटों का विवरण देखने के लिए किया जाता है। यह वेब विकास और परीक्षण के लिए एक उपयोगी उपकरण है। उपकरण की कार्यक्षमता बढ़ाने के लिए काम चल रहा है। प्रॉक्सी मैक्रोमीडिया फ्लैश रेमोटिंग द्वारा उ

• Illumination मुफ्त

  रोशनी - एक सुविधा से भरपूर, प्लैटफॉर्म-इंडिपेंडेंट सी ++ जीयूआई लाइब्रेरी। मुख्य विशेषताएं: खासियत, एक्सएमएल सतह विवरण समर्थन, निफ्टी लेआउट इंजन, फ़ॉन्ट-संवेदनशीलता, X11, विंडोज, कार्बन और शाप के लिए बैकएंड्स।

• HMM Based Chinese Segmentor मुफ्त

  यह एक परियोजना है जो सांख्यिकीय मॉडल (हिडेन मार्कोव मॉडल) के आधार पर चीनी विभाजन की समस्या से मुकाबला करने के अपने कार्य का विस्तार करने के लिए ल्यूसीन एनालाइजर के इंटरफेस को लागू करती है।

• NHibernateIt मुफ्त

  NHibernateIt एक NHibernate सत्र प्रबंधन सहायक है और भंडार वर्ग गर्त बुनियादी CRUD कार्रवाई प्रदान करता है। NHibernator परियोजना से प्रेरित होकर, oracleatdotnet.com

• AstroWeka मुफ्त

  एस्ट्रोवेका वेका, एक लोकप्रिय डेटा खनन कार्यक्रम के लिए एक सीमा का एक सेट है, जो इसे वर्चुअल वेधशाला में खगोलीय डेटा के साथ सीधे काम करने की अनुमति देता है।

• CalFaces मुफ्त

  CalFaces (पहले jsforganiser) वेब-आधारित पीआईएम अनुप्रयोगों में उपयोग के लिए जावासेवर चेहरे घटकों का संग्रह है, जो दिन, वर्कवीक, सप्ताह और महीने के विचारों के साथ एक आउटलुक-स्टाइल कैलेंडर प्रदान करता है, साथ ही एक मीटिंग प्लान

• Complement मुफ्त

  मल्टीप्लेटफॉर्म सी ++ पुस्तकालय। 1. xmt: मल्टीथ्रेडेड (एमटी) अनुप्रयोगों या पुस्तकालयों का निर्माण करने के लिए पोर्टेबल प्रोग्रामिंग इंटरफेस; 2. सॉकिओस: सॉकेट के लिए इंटरफेस (सी ++ आईओ स्ट्रीम); 3. StEM: परिमित राज्य मशीन/संच

• H3xC4T मुफ्त

  H3xC4T बाइनरी फाइलों को पढ़ता है और कॉलम में ऑर्डर की गई षोडसीमल सामग्री दिखाता है ... भविष्य में, मैं कुछ विशेषताएं जोड़ूंगा जैसे सादे बाइनरी रूपांतरण या अलग- अलग ...

• Charset detector मुफ्त

  किसी दिए गए पाठ या फ़ाइल का स्वचालित चारसेट पता लगाने के लिए लाइब्रेरी। इनपुट बफर का विश्लेषण किया जाएगा ताकि इस्तेमाल किए गए एन्कोडिंग का अनुमान लगाया जा सके। परिणाम (चारसेट नाम या कोड पेज आईडी) का उपयोग चारसेट वार्तालाप के

• Java Signal/Slot with Annotations मुफ्त

  यह पुस्तकालय जावा 5.0 के लिए एक सिग्नल/स्लॉट एपीआई है जो संकेतों/स्लॉट को चिह्नित करने के लिए एनोटेशन का उपयोग करता है। सिग्नल/स्लॉट एनम युक्त एक उपवर्ग, साथ ही इसके स्लॉट को सिग्नल उत्सर्जित करने के तरीके, एनोटेशन प्रोसेसिंग