모델에 대한 테스트 입력을 생성하고 문서에 대한 제약 조건을 증명하기 위해 합금을 사용하여 일차 논리의 XML 스키마 문서를 모델링합니다.
버전 기록
- 버전 final%20milestone 에 게시 2007-05-12
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2007-05-12
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: xsd2als.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows
모델에 대한 테스트 입력을 생성하고 문서에 대한 제약 조건을 증명하기 위해 합금을 사용하여 일차 논리의 XML 스키마 문서를 모델링합니다.