Invia software
  1. Casa
  2. Windows
  3. Altro
  4. xsd2als

xsd2als

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎2 ‎Voti
Scaricare

Modellare i documenti dello schema XML nella logica del primo ordine utilizzando Lega per generare input di test per le applicazioni e dimostrare vincoli sui documenti.

cronologia delle versioni

  • Versione final%20milestone pubblicato il 2007-05-12
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2007-05-12

Dettagli del programma

Programmi correlati

  • Velocity Template Analyzer Gratuito

    Uno strumento che estrae dai file di velocità tutte le variabili accessibili e i relativi metodi chiamati.

  • Inaugural Address USA 2009 Prova gratuita

    Il testo ufficiale dello storico discorso inaugurale del presidente Obama, gennaio 2009.Pubblichiamo anche:*Discorso al Congresso febbraio 2009* *Obama su Space 2010*e altre app.Questa app è progettata per ess

  • slptex Gratuito

    Programmazione scientifica alfabetizzata che utilizza LaTeX, come tgrind ma con commenti di alto livello.In altre parole, un fontificatore di codice sorgente per programmatori alfabetizzati (reali) che utilizzano commenti L

  • kuzya Gratuito

    Kuzya è un semplice IDE crossplatform per le persone che studiano programmazione. L'idea principale è di concentrare l'attenzione degli utenti solo sull'apprendimento del linguaggio di programmazione ma non sull'uso dell'IDE.

  • IELTSpocket Gratuito

    L'IELTSpocket è uno strumento di auto-studio vitale per i candidati che prendono di mira la fascia 7 +.L'IELTSpocket è uno strumento di auto-studio vitale per i candidati che prendono di mira la banda 7 + nel test IELTS. Gl

  • i2b2 WebClient Gratuito

    Questo è un client web open source per il core i2b2 sviluppato da Recombinant Corporation. Per informazioni di posta elettronica [email protected]. Recombinant offre supporto per questo software e per le implementazioni

  • Cylindrical BLAST Viewer Gratuito

    Visualizzatore 3D che dispone i colpi BLAST e altri allineamenti bioinformatici correlati in un display rotante e cilindrico. Feedback apprezzato. NOTA: richiede l'installazione di Java3d.

  • Biohack Gratuito

    Un kit di bootsstrapping open source e gratuito per il biohacking e il biohacking. Ingegneria/terapia genetica, BioBricks, biologia sintetica - schemi, tutorial, ecc.

  • Joshua decoder Gratuito

    Joshua è un decodificatore open source per modelli di traduzione statistica basati su grammatiche libere dal contesto sincrono. Vedere http://cs.jhu.edu/~ccb/joshua/ guida pratica per l'installazione e l'esecuzione del sistem

  • Nintendo 64 Cheats and Tips Prova gratuita

    Ti aiuterà a padroneggiare il tuo gioco Nintendo64 preferito o a trovare un nuovo modo divertente per giocarci. Interfaccia facile da usare, bella e potente ti aiuterà a trovare rapidamente il gioco desiderato.Il tuo fe