Maude Development Tools

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

करीबन Maude Development Tools

मौड डेवलपमेंट टूल्स प्लगइन्स का एक सेट है जो ग्रहण में मौड इंटरप्रेटर (http://maude.cs.uiuc.edu) को एम्बेड करता है। यह एक कोर प्लगइन प्रदान करता है, जो किसी भी जावा कार्यक्रम को मौड का उपयोग करने की अनुमति देता है, और प्लगइन का एक सेट जो ग्रहण-आधारित आईडीई प्रदान करता है