Overture: Formal modelling in VDM

İlgili Programlar

• Mkulu QA Proxy Ücret -siz

  Mkulu QA Proxy HTTP paketlerinin ayrıntılarını görüntülemek için kullanılır. Bu web geliştirme ve test için yararlı bir araçtır. Aracın işlevselliğini artırmak için çalışmalar devam etmektedir. Proxy Macromedia Flash Remoting

• Illumination Ücret -siz

  Aydınlatma - zengin özelliklere sahip, plattform-bağımsız C++ GUI kitaplığı. Temel özellikler: temalı, XML yüzey açıklama desteği, şık düzenmotoru, yazı tipi hassasiyeti, X11 için arka uçlar, Windows, Karbon ve Curses.

• HMM Based Chinese Segmentor Ücret -siz

  Bu istatistiksel model (Hiden Marcov Model) dayalı Çin segmentasyon sorunu ile başa çıkma işlevini genişletmek için lucene Analyzer arayüzü uygulayan bir projedir

• NHibernateIt Ücret -siz

  NHibernateIt bir NHibernate Oturum Yönetimi Yardımcısı dır ve Repository sınıfının temel CRUD eylemlerini sağlar. nhibernator Projesi esinlenerek, oracleatdotnet.com

• AstroWeka Ücret -siz

  AstroWeka Weka, sanal gözlemevi astronomik verilerle doğrudan çalışmasına olanak sağlayan popüler bir veri madenciliği programı olan bir dizi extentions olduğunu.

• CalFaces Ücret -siz

  CalFaces (daha önce jsforganiser), web tabanlı PIM uygulamalarında kullanılmak üzere JavaServer Faces bileşenlerinin bir koleksiyonudur ve gün, iş haftası, hafta ve ay görünümleri ile Outlook tarzı bir takvim sağlamanın yanı

• Complement Ücret -siz

  Çok platformlu C++ kitaplıkları. 1. xmt: MultiThreaded (MT) uygulamaları veya kitaplıkları oluşturmak için taşınabilir programlama arayüzü; 2. sockios: soketleri (C++ IO akışları için arayüz); 3. StEM: sonlu durum makine / il

• H3xC4T Ücret -siz

  H3xC4T ikili dosyaları okur ve sütunlarda sıralanmış hexadecimal içeriği gösterir... gelecekte, düz ikili dönüşüm veya sökme gibi bazı özellikler ekleyeceğiz ...

• Charset detector Ücret -siz

  Belirli bir metnin veya dosyanın otomatik olarak charset algılaması için kitaplık. Giriş arabelleği, kullanılan kodlamayı tahmin etmek için analiz edilecektir. Sonuç (charset adı veya kod sayfası kimliği) charset konuşma için

• Java Signal/Slot with Annotations Ücret -siz

  Bu kitaplık, Sinyalleri/yuvaları işaretlemek için ek açıklamalar kullanan Java 5.0 için bir sinyal/yuva API'sidir. Sinyal/yuva enumlarının yanı sıra sinyali yuvalarına yayan yöntemler içeren bir alt sınıf, ek açıklama işleme