Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. xsd2als

xsd2als

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎2 ‎Votes
Télécharger

Modèle XML Schema documents dans la logique de premier ordre en utilisant Alloy afin de générer des entrées de test pour les applications et prouver les contraintes sur les documents.

historique de la version

  • Version final%20milestone posté sur 2007-05-12
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2007-05-12

Détails du programme

Programmes connexes

  • Velocity Template Analyzer Gratuit

    Un outil qui extrait de vos fichiers de vitesse toutes les variables accessibles et leurs méthodes appelées.

  • Inaugural Address USA 2009 Essai gratuit

    Le texte officiel du discours inaugural historique du président Obama, janvier 2009.Nous publions également :*Adresse au Congrès février 2009* *Obama sur l’espace 2010*et d’autres applications.Cette applicatio

  • slptex Gratuit

    Programmation scientifique alphabétisé en utilisant LaTeX, comme tgrind, mais avec des commentaires de haut niveau.En d’autres termes, un policeificateur de code source pour les programmeurs alphabétisés (réels) en utilisan

  • kuzya Gratuit

    Kuzya est simple crossplatform IDE pour les personnes qui étudient la programmation. L’idée principale de celui-ci est de concentrer l’attention des utilisateurs uniquement sur l’apprentissage du langage de programmation, mai

  • IELTSpocket Gratuit

    L’IELTSpocket est un outil d’auto-apprentissage essentiel pour les candidats ciblant la bande 7+.L’IELTSpocket est un outil d’auto-apprentissage essentiel pour les candidats ciblant la bande 7+ sur le test IELTS. Les examin

  • i2b2 WebClient Gratuit

    Il s’agit d’un client web open source pour le noyau i2b2 développé par Recombinant Corporation. Pour obtenir de l’aide, envoyez [email protected]. Recombinant offre un support pour ce logiciel et pour les implémentations

  • Cylindrical BLAST Viewer Gratuit

    Visionneuse 3D qui organise des hits BLAST et d’autres alignements liés à la bioinformatique dans un écran cylindrique rotatif. Commentaires appréciés. REMARQUE : nécessite une installation Java3d.

  • Biohack Gratuit

    Un kit de bootstrapping open source et gratuit diy biotech/biohacking bootstrapping. Génie génétique/thérapie, BioBricks, biologie synthétique - schémas, tutoriels, etc.

  • Joshua decoder Gratuit

    Joshua est un décodeur open source pour les modèles de traduction statistique basés sur des grammaires synchrones sans contexte. Consultez http://cs.jhu.edu/~ccb/joshua/ un guide pratique pour l’installation et l’exécution du

  • Nintendo 64 Cheats and Tips Essai gratuit

    Vous aidera à maîtriser votre jeu Nintendo64 préféré ou à trouver une nouvelle façon amusante de le jouer. Facile à utiliser, interface agréable et puissante vous aidera à trouver rapidement le jeu recherché.Vos comment