Analyzer Component Framework 0.1
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
Tentang Analyzer Component Framework
ACF adalah kerangka kerja untuk menulis pemeriksa model. ACF dibangun berdasarkan pengamatan mendasar bahwa struktur sebagian besar algoritma pengecekan model independen dari formalisme yang digunakan untuk menggambarkan sistem.
Program Terkait
-
LEP Gratis
Melek Eclipse Programming membantu pengembang dalam menulis kode sumber terstruktur dan terdokumentasi dengan baik. LEP mengintegrasikan ekstraksi otomatis kode sumber dan dokumentasi ke dalam lingkungan gerhana yang akrab. K
-
BakerBots Gratis
Ini adalah Baker College, aplikasi yang dikembangkan magang untuk menjalankan bot sebagai avatar di Second Life, OpenSim, dll. Ini bergantung pada Program # untuk pemrosesan AIML dan libOpenMetaverse untuk fungsionalitas brow
-
Survival Medicine Guide Uji Coba Gratis
"Membutuhkan Pembaca Adobe Gratis"****Ini adalah panduan obat bertahan hidup jika apa yang kita semua takut benar-benar terjadi. Ini adalah pujian besar untuk setiap manual kelangsungan hidup yang baik. Info ini mungkin t
-
Universal Maths Conversion Library Gratis
Perpustakaan UMCL menyediakan satu API kepada pengembang aplikasi yang mengharuskan konversi antara format Matematika yang berbeda dan terutama notasi spesifik Braille.
-
Bhagavad Gita(YaBG) Gratis
YaBG - Namun lain "Bhagavad Gita" aplikasi. Aplikasi ini memungkinkan Anda untuk membaca seluruh gita bhagavad tanpa gangguan; tidak ada iklan, tidak ada pop up yang menyakitkan; benar-benar gratis dan tidak ada yan
-
PONS German PREMIUM Uji Coba Gratis
Kamus PONS Bahasa Jerman sebagai PREMIUM bahasa asing adalah dengan 77.000 kata kunci, frasa dan konstruksi dan lebih dari 125.000 definisi dan contoh alat referensi standar paling komprehensif oleh PONS. Apakah Anda belajar
-
jQuantum Gratis
jQuantum adalah program Java untuk mensimulasikan komputer kuantum, merancang sirkuit kuantum, dan untuk memvisualisasikan eksekusi algoritma kuantum. Tujuan utama lainnya, bagaimanapun, adalah untuk membuat gambar di kepala
-
FlameBitmaps Gratis
Menghitung bitmap skala 2D-Abu-Abu Perhitungan tubuh rotasi 3D membentuk area yang terdeteksi dengan menggunakan algoritme pemrosesan gambar yang berbeda. Dikembangkan untuk German Aerospace Center (DLR). Proyek Bekas: Substa
-
fropho Gratis
fropho menghitung sifat phonon dalam kristal, yang didasarkan pada metode Parlinski-Li-Kawazoe. Informasi kekuatan yang bertindak pada atom ketika atom terlantar diperlukan sebagai informasi input. Fropho akan digantikan oleh
-
FSMPP - Finite State Machines in C++ Gratis
FSMPP adalah perpustakaan yang menyediakan kerangka kerja sederhana, ringan, dan intuitif untuk membangun Mesin Negara Terbatas di C++.