アプリケーションのテスト入力を生成し、ドキュメントに関する制約を証明するために、Alloy を使用して最初の順序のロジックで XML スキーマ ドキュメントをモデル化します。
バージョン履歴
- バージョン final%20milestone に転記 2007-05-12
いくつかの修正と更新 - バージョン N/A に転記 2007-05-12
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: xsd2als.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows