| | 시설UML 하위 집합을위한 무료 그래픽 개발 환경 |
| 지금 다운로드 | |
시설 순위 및 요약
광고
시설 태그
시설 설명
UML 하위 집합을위한 무료 그래픽 개발 환경 Syspect는 CSP-OZ-DC에 따라 공식적인 의미를 갖는 UML 하위 집합을위한 무료 및 오픈 소스, 그래픽 개발 환경입니다. CSP-OZ-DC는 통신 및 프로세스 동작의 프로세스 대수 CSP와 시간 기반 요구 사항을 특성화하기위한 데이터 및 조작 및 지속 시간 계산 방법을 포함한 통신 및 프로세스 동작의 사양을 결합합니다. Syspect는 사용자가 구성 요소 -, 클래스 및 statediagram을 설계 할 수있게합니다. 수출 중에 발생하는 문제가 식별되고 시각적으로 표시됩니다. 데이터의 공식화를 위해이 도구는 사양 언어 Z의 그래픽 입력과 같이 다양한 입력 가능성을 제공합니다. 또한이 도구는 지속 시간 계산 수식을위한 편집기로 구성됩니다. Sysssssssssssss는 XMI에서 모델의 저장을 지원하고 자체 데이터 형식을 지원합니다. 일반적인 이미지 유형의 그래픽 내보내기 외에도 개발 환경 Syspect는 Specification.sySpect의 편리한 프레젠테이션을위한 라텍스 내보내기를 지원합니다. 이들은 사양의 Verifiy (안전성) 속성에 대한 모델 검사 도구로 읽을 수 있습니다. 현재 모델 검사기 armc에 대한 자동 연결을 사용할 수 있습니다. Syspect 모델은 자동으로 지속 시간 계산 수식에 대해 자동 검증 될 수 있습니다. ARMC가 오류를 감지하고 카운터 예제를 사용자 친화적 인 방식으로이 카운터 예제를 시각화합니다.
시설 관련 소프트웨어
