هذا هو تطبيق Linux المسمى Java Modeling Language (JML) والذي يمكن تنزيل أحدث إصدار له كـ openjml.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Java Modeling Language (JML) باستخدام OnWorks مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
لغة نمذجة جافا (JML)
Ad
الوصف
لغة نمذجة Java (JML) هي لغة مواصفات واجهة سلوكية يمكن استخدامها لتحديد سلوك وحدات Java النمطية (كما هو الحال في التصميم حسب العقد - DBC). لديها العديد من الأدوات للقيام بفحص التأكيد ، واختبار الوحدة ، وما إلى ذلك.المميزات
- أوبن جي إم إل: jmlspecs.sourceforge.net
الجمهور
تكنولوجيا المعلومات ، العلوم / البحث ، التعليم ، المطورين
واجهة المستخدم
X Window System (X11) ، Win32 (MS Windows) ، Cocoa (MacOS X)
لغة البرمجة
جافا
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/jmlspecs/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
