Bu, en son sürümü iben-1.1.tar.gz olarak indirilebilen Interactive BDD Environment adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile Etkileşimli BDD Ortamı adlı bu uygulamayı çevrimiçi olarak ücretsiz indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
Etkileşimli BDD Ortamı
AÇIKLAMA:
IBEN, etkileşimli BDD ortamıdır. İndirgenmiş sıralı ikili karar diyagramlarını (ROBDD'ler) bildirmenize, manipüle etmenize ve görselleştirmenize olanak tanır. BDD'yi etkileşimli olarak manipüle etmeniz gerektiğinde kullanışlı olmasına rağmen, bir öğrenme aracı olarak tasarlanmıştır.
Seyirci
Eğitim, Bilim/Araştırma
Programlama dili
C + +
Kategoriler
Bu, https://sourceforge.net/projects/iben/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.