 | VDMJ.تطبيق تطوير مع دعم VDM-SL، VDM ++ و VDM-RT. |
| التحميل الان | |
VDMJ. الترتيب والملخص
الإعلانات
VDMJ. العلامات
VDMJ. وصف
VDMJ هي أداة مفيدة وسهلة الاستخدام مصممة خصيصا لتقديم أداة أساسية تدعم لغات مواصفات VDM-SL و VDM ++ و VDM-RT، مكتوبة في Java. يتضمن محللا، مدقق نوع، مترجم فوري، مصحح ومولد التزام دليل. يتم استخدامه من قبل مشروع Eclipse Expelture. الخصائص الرئيسية: تحليل، اكتب شيك، تنفيذ وتصحيح المواصفات VDM توليد التزامات دليل توليد تغطية شفرة مفصلة للاختبارات إجراء اختبارات الفرامل دعم لجميع اللهجات VDM الثلاثة دعم مجموعات الأحرف الدولية في المواصفات دعم المكتبات الخارجية والتحكم عن بعد
VDMJ. برامج ذات صلة
