Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. xsd2als

xsd2als

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎2 ‎Stimmen
Herunterladen

Modellieren Sie XML-Schemadokumente in der Logik erster Ordnung mithilfe von Alloy, um Testeingaben für Anwendungen zu generieren und Einschränkungen für Dokumente zu beweisen.

VERSIONSVERLAUF

  • Version final%20milestone veröffentlicht auf 2007-05-12
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2007-05-12

Programmdetails

Verwandte Programme

  • Velocity Template Analyzer kostenlos

    Ein Tool, das alle aufgerufenen Variablen und deren aufgerufene Methoden aus Ihren Velocity-Dateien extrahiert.

  • Inaugural Address USA 2009 Kostenlose Testversion

    Der offizielle Text der historischen Antrittsrede von Präsident Obama, Januar 2009.Wir veröffentlichen auch:*Ansprache an den Kongress Feb 2009* *Obama auf Space 2010*und andere Apps.Diese App ist so konzipier

  • slptex kostenlos

    Wissenschaftliche Literate Programmierung mit LaTeX, wie tgrind, aber mit hochrangigen Kommentaren.Mit anderen Worten, ein Quellcode-Schriftifier für literate (echte) Programmierer mit LaTeX-Kommentaren.

  • kuzya kostenlos

    Kuzya ist eine einfache plattformübergreifende IDE für Menschen, die Programmieren studieren. Hauptidee davon ist es, die Aufmerksamkeit der Benutzer nur auf das Erlernen der Programmiersprache zu konzentrieren, aber nicht au

  • IELTSpocket kostenlos

    Die IELTSpocket ist ein wichtiges selbststudiumdes Werkzeug für Kandidaten, die Band 7+ ansprechen.Der IELTSpocket ist ein wichtiges selbststudiumdes Werkzeug für Kandidaten, die band 7+ auf den IELTS-Test ausrichten. Die P

  • i2b2 WebClient kostenlos

    Dies ist ein Open-Source-Web-Client für den i2b2-Kern, der von Recombinant Corporation entwickelt wurde. [email protected]. Recombinant bietet Unterstützung für diese Software und für i2b2-Implementierungen.

  • Cylindrical BLAST Viewer kostenlos

    3D-Viewer, der BLAST-Treffer und andere bioinformatikbezogene Ausrichtungen in einem rotierenden, zylindrischen Display anordnet. Feedback geschätzt. HINWEIS: Erfordert Java3d-Installation.

  • Biohack kostenlos

    Eine Open-Source, kostenlose DIY Biotech / Biohacking Bootstrapping Kit. Gentechnik/Therapie, BioBricks, Synthetische Biologie - Schaltpläne, Tutorials, etc.

  • Joshua decoder kostenlos

    Joshua ist ein Open-Source-Decoder für statistische Übersetzungsmodelle, die auf synchronen kontextfreien Grammatiken basieren. In http://cs.jhu.edu/~ccb/joshua/ finden Sie eine Anleitung zum Installieren und Ausführen des Sy

  • Nintendo 64 Cheats and Tips Kostenlose Testversion

    Wird Ihnen helfen, Ihr Lieblings-Nintendo64-Spiel zu meistern oder einen neuen lustigen Weg zu finden, es zu spielen. Einfach zu bedienen, schöne und leistungsstarke Schnittstelle wird Ihnen helfen, schnell gesuchtes Spie