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