ESC/Java2 2.0 Beta 5 ESC / Java2のは、Javaの拡張静的チェッカーです。それは自動的に、静的、およびモジュール方式一般的なプログラミングエラーを検出します。 JMLで記述されます（オプション）アノテーションを持つJavaプログラムについてのESC / Java2の上の理由から このリリースの新機能：ます。... 3 Jun 15 で 開発者用ツール, 品質保証とテストソフトウェア Linux 続きを読む
