Programas por xsd2als.sf.net
-
xsd2als Grátis
O Modelo XML Schema documenta em lógica de primeira ordem usando a Alloy para gerar entradas de teste para aplicações e provar restrições sobre documentos.
O Modelo XML Schema documenta em lógica de primeira ordem usando a Alloy para gerar entradas de teste para aplicações e provar restrições sobre documentos.