로댕

당신의 일을 돕는 개발 플랫폼.
지금 다운로드

로댕 순위 및 요약

광고

  • Rating:
  • 특허:
  • Freeware
  • 게시자 이름:
  • Event-B.org
  • 운영체제:
  • Windows All
  • 파일 크기:
  • 50.6 MB

로댕 태그


로댕 설명

Rodin은 신뢰할 수있는 복잡한 소프트웨어 시스템 서비스의 비용 효율적인 엄격한 개발을 돕기 위해 고안된 편리한 플랫폼입니다. 이 플랫폼은 이벤트 B 정식 방법을 기반으로하며 세련미 및 수학적 증거에 대한 자연스러운 지원을 제공합니다.


로댕 관련 소프트웨어

원격 구성 요소 환경

RCE는 워크 플로우 엔진, 권한 관리 또는 외부 컴퓨팅 및 스토리지 리소스에 대한 인터페이스와 같은 범용 소프트웨어 구성 요소에 통합 된 응용 프로그램 액세스를 제공합니다 (그리드, CLUS ...

64 86.9 MB

다운로드

dbspy.

데이터베이스 시각화 도구는 물론 Oracle 및 MySQL 용 데이터베이스 디자인 도구입니다. ...

229 296 KB

다운로드

회사 소개