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