xsd2als
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/xsd2als/files/xsd2als/final%20milestone/xsd2als_final.zip/download
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.
Programas Relacionados
-
Velocity Template Analyzer Livre
Uma ferramenta que extrai de seus arquivos de velocidade todas as variáveis acessadas e seus métodos chamados.
-
Inaugural Address USA 2009 Avaliação gratuita
O texto oficial do discurso inaugural histórico do presidente Obama, janeiro de 2009.Também publicamos:*Discurso ao Congresso fev 2009* *Obama no Espaço 2010*e outros aplicativos.Este aplicativo foi projetado
-
slptex Livre
Programação Alfabetizada Científica usando LaTeX, como tgrind, mas com comentários de alto nível.Em outras palavras, um fontifier de código fonte para programadores alfabetizados (reais) usando comentários LaTeX.
-
kuzya Livre
Kuzya é um simples IDE multiplataforma para pessoas que estudam programação. A ideia principal é concentrar a atenção dos usuários apenas no aprendizado da linguagem de programação, mas não no uso do IDE.
-
IELTSpocket Livre
O IELTSpocket é uma ferramenta vital de auto-estudo para candidatos que visam a banda 7+.O IELTSpocket é uma ferramenta vital de auto-estudo para candidatos que visam a banda 7+ no teste IELTS. Os exames são ajudados a alca
-
i2b2 WebClient Livre
Este é um cliente web de código aberto para o núcleo i2b2 desenvolvido pela Recombinant Corporation. Para obter ajuda [email protected] por e-mail. A Recombinant oferece suporte para este software e para implementações d
-
Cylindrical BLAST Viewer Livre
Visualizador 3D que organiza hits BLAST e outros alinhamentos relacionados à bioinformática em um display cilíndrico rotativo. Feedback apreciado. NOTA: requer instalação Java3d.
-
Biohack Livre
Um kit de bootstrapping de biotecnologia DIY grátis e de código aberto. Engenharia/terapia genética, BioBricks, biologia sintética - esquemas, tutoriais, etc.
-
Joshua decoder Livre
Joshua é um decodificador de código aberto para modelos de tradução estatística baseados em gramáticas livres de contexto síncronos. Consulte http://cs.jhu.edu/~ccb/joshua/ para obter um guia de como instalar e executar o sis
-
Nintendo 64 Cheats and Tips Avaliação gratuita
Vai ajudá-lo a dominar seu jogo favorito do Nintendo64 ou encontrar uma nova maneira divertida de jogá-lo. Fácil de usar, interface agradável e poderosa irá ajudá-lo a encontrar rapidamente o jogo desejado.Seu feedback