 | Crocopat.Crocopat는 간단하고 효율적인 관계 계산을위한 도구입니다. |
| 지금 다운로드 | |
Crocopat. 순위 및 요약
광고
Crocopat. 태그
Crocopat. 설명
Crocopat은 간단하고 효율적인 관계 계산을위한 도구입니다. Crocopat은 간단하고 효율적인 관계형 계산을위한 도구입니다 .Relational Computation.Crocopat는 그래프 (이진 관계)를 포함하여 모든 경련의 관계를 조작합니다. 그것의 간단하고 표현력있는 쿼리 및 조작 언어는 1 차 술어 계산을 기반으로합니다. 구현은 컴퓨터 지원 검증에서 대용량의 소형 표현으로 잘 알려진 데이터 구조 이진 결정 다이어그램 (BDD)을 기반으로합니다. Crocopat는 다른 도구와의 통합이 쉽고 간단한 튜플 형식에서 파일을 읽고 쓰는 것이 쉽고 큰 소프트웨어 시스템의 평가를 읽을 수 있습니다. 소프트웨어 시스템의 구조 분석을 관계형 쿼리로 공식화 할 수 있습니다. 문제가있는 디자인의 패턴, 코드 클론의 패턴, 데드 코드의 패턴 및 AS-BUID 및 AS-DASED 아키텍처 간의 차이점의 디자인 패턴. 그 효율성과 표현력이 풍부한 언어를 통해 Crocopat은 다른 그래프 분석 도구로 불가능한 실제 소프트웨어 시스템의 실제로 중요한 분석을 가능하게합니다. 특히 이러한 분석은 전이성 폐쇄와 그래프의 패턴을 감지하는 분석을 가능하게합니다. 높은 수준의 BDD 패키지. 표준 BDD 패키지는 비트를 통한 관계 조작을위한 작업을 제공하는 Crocopat 라이브러리는 문자열을 통해 관계를 조작 할 수 있습니다. 이는 BDD 변수에 바이너리 인코딩 및 사용자 변수에 대한 매핑 문자열을 매핑하는 프로그래머를 완화합니다. · 유지 보수 활동 만 (MacOS, 버그 수정을 위해 사용할 수 있음).
Crocopat. 관련 소프트웨어
