Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. xsd2als

xsd2als

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎2 ‎Oy
Indir

Uygulamalar için test girdileri oluşturmak ve belgelerle ilgili kısıtlamaları kanıtlamak için Alloy'u kullanarak Birinci dereceden mantıkla XML Şema belgeleri modelle.

sürüm geçmişi

  • Sürüm final%20milestone tarihinde gönderildi 2007-05-12
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2007-05-12

Program Detayları

İlgili Programlar

  • Velocity Template Analyzer Ücret -siz

    Hız dosyalarınızdan tüm erişilen değişkenleri ve bunların çağrıyöntemlerini ayıklayan bir araç.

  • Inaugural Address USA 2009 Ücretsiz Deneme

    Başkan Obama'nın tarihi açılış konuşmasının resmi metni, Ocak 2009.Biz de yayınlamak:*Kongre Adresi Şubat 2009* *Obama Space 2010*ve diğer uygulamalar.Bu uygulama internet bağlantısı olmadan çevrimdışı yken ok

  • slptex Ücret -siz

    Bilimsel Literate Programlama LaTeX kullanarak, tgrind gibi ama üst düzey yorumlar ile.Başka bir deyişle, LaTeX yorumlarını kullanan okur yazar (gerçek) programcılar için bir kaynak kodu fontifier.

  • kuzya Ücret -siz

    Kuzya programlama eğitimi insanlar için basit crossplatform IDE olduğunu. Bunun ana fikri sadece programlama dili öğrenme değil, IDE kullanımı üzerinde kullanıcıların dikkatini konsantre etmektir.

  • IELTSpocket Ücret -siz

    IELTSpocket, 7+ bandını hedefleyen adaylar için hayati bir kendi kendine çalışma aracıdır.IELTSpocket, IELTS sınavında 7+ bandı hedefleyen adaylar için hayati bir kendi kendine çalışma aracıdır. İncelemeler temel kelime, pr

  • i2b2 WebClient Ücret -siz

    Bu Recombinant Corporation tarafından geliştirilen i2b2 çekirdek için bir açık kaynak web istemcisidir. Yardım için e-posta [email protected]. Rekombinant bu yazılım ve i2b2 uygulamaları için destek sunmaktadır. E-posta

  • Cylindrical BLAST Viewer Ücret -siz

    DÖNEN, silindirik bir ekranda BLAST vuruşlarını ve diğer biyoinformatik lerle ilgili hizalamaları düzenleyen 3B görüntüleyici. Geribildirim takdir. NOT: Java3d yüklemegerektirir.

  • Biohack Ücret -siz

    Açık kaynak, ücretsiz DIY biyoteknoloji / biohacking bootstrapping kiti. Genetik mühendisliği/terapisi, BioBricks, sentetik biyoloji - şemalar, öğreticiler, vb.

  • Joshua decoder Ücret -siz

    Joshua senkron bağlam ücretsiz gramer dayalı istatistiksel çeviri modelleri için bir açık kaynak kod çözücü olduğunu. Sistemi yüklemek ve çalıştırmak için nasıl yapılacağınız kılavuzu için http://cs.jhu.edu/~ccb/joshua/ bakın

  • Nintendo 64 Cheats and Tips Ücretsiz Deneme

    En sevdiğiniz Nintendo64 oyunu ana veya oynamak için yeni bir eğlenceli yol bulmak için yardımcı olacaktır. Kullanımı kolay, güzel ve güçlü arayüzü hızlı bir şekilde istenen oyunu bulmak için yardımcı olacaktır.Geri bil