Syspect 1.5.0

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

에 대해 Syspect

Syspect는 UML2 다이어그램을 사용하여 시스템을 지정하고 공식적인 검증을 위해 CSP-OZ-DC 사양으로 변환하는 도구입니다.