Syspect는 UML2 다이어그램을 사용하여 시스템을 지정하고 공식적인 검증을 위해 CSP-OZ-DC 사양으로 변환하는 도구입니다.
버전 기록
- 버전 1.5.0 에 게시 2010-05-11
몇 가지 수정 및 업데이트 - 버전 1.5.0 에 게시 2010-05-11
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: syspect.informatik.uni-oldenburg.de
- 라이센스: 무료
- 가격: N/A
- 버전: 1.5.0
- 플랫폼: windows