Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. ER Model Transformation
  5. Download

ER Model Transformation

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy

Hakkı -nda ER Model Transformation

Varlıklar ve ilişkiler kullanıcı tanımlı türleri olarak belirtilir. PVS ispat aracı kullanacağız. Doğrulama, tür denetleyicisi tarafından otomatik olarak oluşturulan tür doğruluğu koşullarını kanıtlamayı içerir.

İlgili Programlar

  • Guile XMMS Ücret -siz

    Guile programlarının XMMS'i denetlemesine izin veren bir bağlama kümesi.

  • Gnome 2 applet simplified Ücret -siz

    Gnome 2 applet basitleştirilmiş yapmak için bir athempt olduğunudaha kolay gnome 2 panel uygulamaları yazmak ve port windowmaker applets. Bu bir kütüphane / skelleton en yaygın işlevleri sağlayangnome 2 panel uygulamala

  • DataStructures,Algorithms,AutomataTheory Ücret -siz

    veri yapıları, algoritma tasarım tekniklerine göre bazı algoritmalar, benim topladığım teknikler hakkında bazı açıklamalar, resmi diller ve otomat teorisi ile ilgili algoritmalar içeren bir sınıf kitaplığı

  • Sky Pilot Ücret -siz

    Sky Pilot IEEE standardı PILOT programlama dilinin yeni bir uygulamasıdır. Tüm modern işletim sistemleri için taşınabilir ve kullanımı kolay ve güncel olacak şekilde tasarlanmıştır.

  • MCRS-Radio Scheduler Ücret -siz

    MCRS radyo istasyonları için bir zamanlama yazılımı olarak hizmet vermek için ment olduğunu. Amaç radyo istasyonu sistemlerinde müzik, ginggles ve tanıtım çalmak için expencive ticari ürünler için bir alternatif sunmaktır.

  • RACER Project Ücret -siz

    Projeler ve Araçlar Koleksiyonu semantik muhakeme motoru RacerPro ile kullanılacak. RacerManager bu koleksiyonda bulunan ilk projedir. RacerManager RacerPro için bir OWL-QL uygulama sunucusu olarak hizmet vermek üzere gelişti

  • XFiler Ücret -siz

    XFiler, kullanıcının içerik, profil meta verileri dosyalama, sürüm geçmişi ve güvenli erişim sağlama olanağı sağlayan J2EE tabanlı bir içerik yönetim sistemidir.

  • Star Template for JSPWiki Ücret -siz

    "Yıldız Şablonu JSPWiki" JSPWiki (jspwiki.org) için bir şablondur. Biz şimdi Basitleştirilmiş Çince baskı sağlamak ve gelecekte İngilizce, Geleneksel Çince, Japonca baskı sağlayacak olabilir. Apache Lisansı, Sürüm 2

  • Orangevolt EclipseXUL Ücret -siz

    EclipseXUL Eclipse platformuna XUL desteği ekleyen bir Eclipse Özelliğidir. Özellik Sihirbazlar, Editörler, Natures, Launch Yapılandırmaları, Online Yardım vb içerir. EclipseXUL XULBooster (http://www.xulbooster.org) tarafınd

  • cairngorm Ücret -siz

    Cairngorm, başarılı Flex ve AIR projelerinin tesliminin temellerini atıyor.