ESC/Java2 Frontend

البرمجيات قطة:
ESC/Java2 Frontend
تفاصيل البرنامج:
الإصدار: 2.0.5
تاريخ إيداع: 3 Jun 15
المطور: KindSoftware
ترخيص: حرر
شعبية: 22

Rating: nan/5 (Total Votes: 0)

ESC المشروع / Java2 الواجهة يوزع رمز جافا 1.4 المصدر وجافا 1.5 بايت كود إلى بناء الجملة شجرة الخلاصة التي يمكن استخدامها لفحص ثابت موسع.
مدقق ثابت الموسعة ل Java الإصدار 2 (ESC / Java2) هو أداة البرمجة الذي يحاول العثور على أخطاء وقت التشغيل المشتركة في برامج جافا JML المشروح من قبل تحليل ثابت من رمز البرنامج وشروحها الرسمية. يمكن للمستخدمين التحكم في كمية وأنواع من التحقق من أن ESC / Java2 ينفذ من قبل التأشير برامجها مع التعليقات منسق بشكل خاص يسمى pragmas.
ESC / Java2 يتوفر في شكلين:

برامج مماثلة

SyFi
SyFi

20 Feb 15

Math::GSL
Math::GSL

20 Feb 15

OPAL
OPAL

3 Jun 15

MDP
MDP

11 May 15

البرامج الأخرى من المطور KindSoftware

ESC/Java2
ESC/Java2

3 Jun 15

تعليقات ل ESC/Java2 Frontend

لم يتم العثور على التعليقات
إضافة تعليق
بدوره على الصور!