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

xsd2als

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎2 ‎Votos
Descargar

Modelar documentos de esquema XML en lógica de primer orden mediante Aleación para generar entradas de prueba para aplicaciones y probar restricciones sobre documentos.

historial de versiones

  • Versión final%20milestone publicado en 2007-05-12
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2007-05-12

Detalles del programa

Programas relacionados

  • Velocity Template Analyzer Gratis

    Una herramienta que extrae de sus archivos de velocidad todas las variables a las que se accede y sus métodos llamados.

  • Inaugural Address USA 2009 Prueba gratuita

    El texto oficial del discurso inaugural histórico del presidente Obama, enero de 2009.También publicamos:*Dirección al Congreso Feb 2009* *Obama en el espacio 2010*y otras aplicaciones.Esta aplicación está dis

  • slptex Gratis

    Programación Científica Alfabetizada usando LaTeX, como tgrind pero con comentarios de alto nivel.En otras palabras, un fontifier de código fuente para programadores alfabetizados (reales) que utilizan comentarios LaTeX.

  • kuzya Gratis

    Kuzya es un IDE multiplataforma simple para las personas que estudian programación. La idea principal de esto es concentrar la atención de los usuarios sólo en el aprendizaje del lenguaje de programación, pero no en el uso de

  • IELTSpocket Gratis

    El IELTSpocket es una herramienta vital de autoestudio para los candidatos dirigidos a la banda 7+.El IELTSpocket es una herramienta vital de autoestudio para los candidatos que se dirigen a la banda 7+ en la prueba IELTS.

  • i2b2 WebClient Gratis

    Este es un cliente web de código abierto para el núcleo i2b2 desarrollado por Recombinant Corporation. Para obtener ayuda, envíe un correo electrónico [email protected]. Recombinant ofrece soporte para este software y pa

  • Cylindrical BLAST Viewer Gratis

    Visor 3D que organiza los hits BLAST y otras alineaciones relacionadas con la bioinformática en una pantalla rotativa y cilíndrica. Comentarios apreciados. NOTA: requiere la instalación de Java3d.

  • Biohack Gratis

    Un kit de arranque biotecnológico/biohacking DIY gratuito y de código abierto. Ingeniería genética/terapia, BioBricks, biología sintética - esquemas, tutoriales, etc.

  • Joshua decoder Gratis

    Joshua es un decodificador de código abierto para modelos de traducción estadística basados en gramáticas libres de contexto sincrónico. Consulte http://cs.jhu.edu/~ccb/joshua/ para obtener una guía de cómo instalar y ejecuta

  • Nintendo 64 Cheats and Tips Prueba gratuita

    Te ayudará a dominar tu juego favorito de Nintendo64 o a encontrar una nueva forma divertida de jugarlo. Fácil de usar, interfaz agradable y potente le ayudará a encontrar rápidamente el juego deseado.Sus comentarios so