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