xsd2als

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎2 ‎Votos

Sobre xsd2als

Modelo XML Schema documenta em lógica de primeira ordem usando a Alloy, a fim de gerar entradas de teste para aplicativos e provar restrições sobre documentos.