열쇠

javacard 프로그램을위한 검증 도구
지금 다운로드

열쇠 순위 및 요약

광고

  • Rating:
  • 특허:
  • GPL
  • 가격:
  • FREE
  • 게시자 이름:
  • The KeY Project
  • 게시자 웹사이트:
  • http://www.key-project.org
  • 운영체제:
  • Mac OS X
  • 파일 크기:
  • 1 KB

열쇠 태그


열쇠 설명

JavaCard 프로그램을위한 검증 도구 키는 자바 프로그램 프로그램을위한 검증 도구를 제공하는 무료 소프트웨어이며 사용하기 쉬운 소프트웨어입니다. 키 시스템은 가능한 한 원활하게 객체 지향 소프트웨어의 설계, 구현, 공식 사양 및 공식 검증을 통합하는 것을 목표로하는 공식적인 소프트웨어 개발 도구입니다. ...에 요구 사항 : · Java 1.5 이상 이 릴리스에서는 새로운 기능 : · 통합 증거 의무 프레임 워크 · 다양한 사양 언어에 걸친 증거 의무 공유 · 새로운 증거 의무를 추가하기위한 통합 API · 모든 사양 언어에 사용되는 동일한 GUI 요소입니다 · \ Old, @ Pre-Like Constructs의 우아한 번역 · 향상된 JavaCard DL 사양 인터페이스 · DL 불변률의 사양 · JML 프론트 엔드의 다시 쓰기 · 고스트 변수 / 필드 및 JML Set 문 · 기본적으로 non_null. · 루프 불변단 지원 · \ object_creation (유형)의 JML 할당 가능 클로스 · 새로운 독립형 OCL 프론트 엔드 · Borland 함께 통합을위한 지원이 중단되었습니다 Java 언어 지원 향상 : · enum 유형 (부분적으로) · 내부 및 익명 수업 · 루프를 향상 시켰습니다 · 가변 메서드 인수 · 공동 공정 방법 서명 · JML 사양 생성 · 엄격하게 순수한 쿼리를 업데이트로 직접 밀어 넣을 수 있습니다. · 안정적인 증거 로딩 및 절약 · 클래스 경로 지시문 · 다양한 버그 수정


열쇠 관련 소프트웨어

회사 소개