xsd2als
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/xsd2als/files/xsd2als/final%20milestone/xsd2als_final.zip/download
Sur xsd2als
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.
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