ESC/Java2 2.0 Beta 5 ESC / 자바 2는 자바에 대한 확장 된 정적 검사입니다. 자동 정적 및 모듈 식 일반적인 프로그래밍 에러를 검출한다. (선택 사항) 주석 JML에 작성한 자바 프로그램에 대한 ESC / 자바 2 이유로 이 릴리스의 새로운 기능입니다. 아무 주요 기능 변화는 없지만, 몇 가지 버그 수정 및 정리 의 기능을 기존의.이것은 최종 릴리스와 제 stable 릴리스하기위한... 3 Jun 15 에 개발자 도구, 품질 보증 및 테스트 소프트웨어 Linux 자세한 내용을