xsd2als

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

에 대해 xsd2als

모델에 대한 테스트 입력을 생성하고 문서에 대한 제약 조건을 증명하기 위해 합금을 사용하여 일차 논리의 XML 스키마 문서를 모델링합니다.