Programas por xsd2als.sf.net
-
xsd2als Livre
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.
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.