ESC/Java2

ESC/Java2 2.0 Beta 5

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