द्वारा कार्यक्रम www.jmlspecs.org
-
Java Modeling Language (JML) मुफ्त
जावा मॉडलिंग भाषा (जेएमएल) एक व्यवहार इंटरफ़ेस विनिर्देश भाषा है जिसका उपयोग जावा मॉड्यूल के व्यवहार को निर्दिष्ट करने के लिए किया जा सकता है (जैसा कि अनुबंध द्वारा डिजाइन में - डीबीसी)। इसमें जोर की जांच, यूनिट टेस्टिंग आदि