 | 로댕신뢰할 수있는 복잡한 소프트웨어 시스템 서비스 개발을위한 플랫폼 |
| 지금 다운로드 | |
로댕 순위 및 요약
광고
로댕 태그
로댕 설명
신뢰할 수있는 복잡한 소프트웨어 시스템 서비스 개발 플랫폼 Rodin은 비용 효과적인 엄격한 신뢰할 수있는 복잡한 소프트웨어 시스템 서비스의 비용 효과적인 개발을위한 무료 및 오픈 소스 플랫폼입니다. Rodin은 이벤트 B 정식 방법을 기반으로하며 세련미 및 수학적 증거에 대한 자연스러운 지원을 제공합니다. 요구 사항 : · Java 1.5 이상 이 릴리스에서는 새로운 기능 : · 버그 1813657 : 리팩토링 메뉴는 리팩토링과 관련이 없습니다. · 버그 1818464 : 사소한 PO가 방전되지 않습니다 · 버그 1897572 : 증거 의무 생성기의 오류 · 버그 1919546 : P1, PP, M0-M3은 게시물 전술로 제공되지 않습니다. · 버그 1948095 : 기존 프로젝트 가져 오기 · 버그 2414463 : 빌더가 비 Rodin 파일에서 호출되었습니다. · 버그 2433212 : KDE에 따른 성능이 좋지 않습니다 · 버그 2648946 : 술어 PORS (NewPP, P0) 간단한 PO를 방전 할 수 없음 · 버그 2656831 : 증거 절약이 항상 작동하지 않습니다. · 버그 2694492 : Prob 위젯이 두 번째 Prob 실행에 표시되지 않습니다. · 버그 2744052 : 주기적 세분화 된 빌더의 NullPointerException · 버그 2782126 : 플랫폼은 SWT 브라우저 위젯을 지원하지 않습니다. · 버그 2827806 : 버퍼의 좀비 파일 · 버그 2836774 : 텍스트 편집기를 저장할 수 없음 (예외) · 버그 2844797 : 증명 해골보기가 컨테이너에 적응하지 않습니다. · 버그 2895507 : MH 및 기타 규칙은 아프다. · 버그 2945276 : Rodin 키보드보기가 표시되지 않습니다 · 버그 2952087 : Rodin 1.2 오류로 된 Rodin 1.1 증명 재사용 · 버그 2952090 : 컨텍스트 이름을 바꿀 때 ...
로댕 관련 소프트웨어
