सॉफ्टवेयर सबमिट करें
  1. को
  2. Linux
  3. अन्य
  4. The PEP tool
  5. Download

The PEP tool 2.0b

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

करीबन The PEP tool

पीईपी समानांतर प्रणालियों के लिए एक मॉडलिंग और सत्यापन ढांचा है, जो बड़ी संख्या में विभिन्न मॉडलिंग भाषाओं और सत्यापन तकनीकों (जैसे एसडीएल, पेट्री जाल और मॉडल चेकिंग) प्रदान करता है

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

  • JDPF मुफ्त

    यह प्रोग्राम व्यक्तिगत और वाणिज्यिक दोनों उपयोग के लिए एक ओपन सोर्स सॉफ्टवेयर मुफ्त है, इस प्रकार उन लोगों के लिए सही विकल्प है जो अधिक प्रसिद्ध भुगतान कार्यक्रमों के लिए एक विकल्प चाहते हैं।

  • VDK Library मुफ्त

    वीडीके लाइब्रेरी सी + + में एक ढांचा है जो जीटीके + जीयूआई पुस्तकालयों को बांधता है, जो लिनक्स और विंडोज दोनों के लिए प्रदान किया गया है वीडीकेबिल्डर परियोजना के लिए एक आधार पुस्तकालय रहा है। हाल ही में परियोजना को विभाजित कि

  • Efes मुफ्त

    बाइटकोड-आधारित योजना (आर ^5RS) कार्यान्वयन। तेजी से, कॉम्पैक्ट, स्थिर, शिक्षा और प्रयोग के लिए उपयुक्त है।

  • Light Torch Flash Widget Pro मुफ्त

    विजेट केवल एक क्लिक के साथ कैमरे के एलईडी (फ्लैश) को चालू/बंद करने के लिए। एक मशाल के रूप में उपयोगी है।

  • Ayra - VCL Report Generator मुफ्त

    डेल्फी में लिखा गया एक रिपोर्ट डिजाइनर और जनरेटर एप्लिकेशन, एक WYSIWYG रिपोर्ट डिजाइनर, रिपोर्ट उत्पादन के लिए एक वीसीएल घटक, डेल्फी 5 से 2006 के लिए मान्य है, और कॉल के लिए थोड़ा कमांडलाइन आवेदन है। यह केवल विंडोज और स्पेनिश

  • ES32 - EEG Analysis मुफ्त

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

  • LJOS - Java and database integration मुफ्त

    एलजीएएस शब्दों के अनुक्रम के लिए खड़ा है: लिनक्स, जावा, ऑपरेटिंग सिस्टम। यह एक आम भंडारण के रूप में एक डेटाबेस के साथ कसकर एकीकृत लिनक्स गिरी के लिए एक प्रत्यक्ष बाइटकोड विस्तार बनाने का प्रयास है।

  • DROIDinfo (Android 1.6+) मुफ्त

    DROIDinfo एक एंड्रॉइड डिवाइस के बारे में तकनीकी जानकारी प्रदर्शित करता है। इसका उद्देश्य डेवलपर्स के लिए है जो एक डिवाइस के हार्डवेयर, लिनक्स/एंड्रॉयड सिस्टम, और जावा गुणों का अवलोकन प्राप्त करना चाहते हैं जैसा कि दलविक वीएम

  • Lumbermill - Log4J/JSR47 GUI मुफ्त

    लुम्बरमिल Log4j के लिए एक दृश्य लॉग प्रोसेसिंग और वितरण केंद्र है और (2.0 में) java.util.लॉगिंग (JSR47)। यह एक स्विंग/जीयूआई स्टैंडअलोन एप्लिकेशन है जो लॉग इवेंट्स को देखने और संग्रहित करने का समर्थन करता है।

  • EmbeddedImageBuilder मुफ्त

    इस परियोजना का लक्ष्य मूल पैकेज स्रोतों, सबसे विशेष रूप से buildroot के आधार पर छोटे एम्बेडेड सिस्टम के लिए एक बूट करने योग्य छवि बनाने के लिए एक विधि प्रदान करना है, और रिपीट करने योग्य बिल्ड के लिए वितरण और विन्यास फ़ाइलों