Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. xsd2als

xsd2als

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

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.

história da versão

  • Versão final%20milestone postado em 2007-05-12
    Várias correções e atualizações
  • Versão N/A postado em 2007-05-12

Detalhes do programa

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