جزئیات نرم افزار:
ESC / Java2 استاتیک جستجوگر گسترده برای جاوا است. این به طور خودکار، آماری، و modularly تشخیص اشتباهات برنامه نویسی رایج است. دلایل ESC / Java2 در مورد برنامه های جاوا که (اختیاری) حاشیه نویسی در JML نوشته شده
به چه چیزی جدید در این نسخه است:
در هیچ تغییر عمده عملکردی وجود دارد، اما برخی از رفع اشکالات و پاکسازی از ویژگی های موجود.
این در نظر گرفته شده به عنوان نسخه نهایی و اولین نسخه پایدار.
نظر یافت نشد