Submit Software
  1. Home
  2. Windows
  3. Other
  4. xsd2als

xsd2als

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎2 ‎votes
Download

Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.

VERSION HISTORY

  • Version final%20milestone posted on 2007-05-12
    Several fixes and updates
  • Version N/A posted on 2007-05-12

Program Details

Related Programs

  • Velocity Template Analyzer Free

    A tool that extracts out of your velocity-files all accessed variables and their called methods.

  • Inaugural Address USA 2009 Free Trial

    The official text of President Obama’s historical inaugural address, January 2009.We also publish:*Address to Congress Feb 2009* *Obama on Space 2010*and other apps.This app is designed to be read while off-line, withou

  • slptex Free

    Scientific Literate Programming using LaTeX, like tgrind but with high level comments.In other words, a source code fontifier for literate (real) programmers using LaTeX comments.

  • kuzya Free

    Kuzya is simple crossplatform IDE for people who study programming. Main idea of it is to concentrate attention of the users only on learning the programming language but not on usage of IDE.

  • IELTSpocket Free

    The IELTSpocket is a vital self-studying tool for candidates targeting band 7+.The IELTSpocket is a vital self-studying tool for candidates targeting band 7+ on the IELTS test. Examinees are helped to reach top performance t

  • i2b2 WebClient Free

    This is an open source web client for the i2b2 core developed by Recombinant Corporation. For help email [email protected]. Recombinant offers support for this software and for i2b2 implementations. To inquire email aabe

  • Cylindrical BLAST Viewer Free

    3D viewer which arranges BLAST hits and other bioinformatics-related alignments in a rotating, cylindrical display. Feedback appreciated. NOTE: requires Java3d installation.

  • Biohack Free

    An open source, free DIY biotech/biohacking bootstrapping kit. Genetic engineering/therapy, BioBricks, synthetic biology - schematics, tutorials, etc.

  • Joshua decoder Free

    Joshua is an open source decoder for statistical translation models based on synchronous context free grammars. See http://cs.jhu.edu/~ccb/joshua/ for a how-to guide for installing and running the system.

  • Nintendo 64 Cheats and Tips Free Trial

    Will help you to master your favorite Nintendo64 game or find a new fun way to play it. Easy to use, nice and powerful interface will help you to quickly find wanted game.Your feedback is very welcome!