Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.7/5 - ‎3 ‎Undi
Muat turun

ACF adalah rangka kerja untuk menulis pemeriksa model. ACF dibina berdasarkan pemerhatian asas bahawa struktur kebanyakan algoritma semakan model bebas daripada formalisme yang digunakan untuk menggambarkan sistem.

sejarah versi

  • Versi 0.1 diposkan pada 2000-03-21
    Beberapa pembaikan dan pengemaskinian
  • Versi 0.1 diposkan pada 2000-03-21

Butiran Atur Cara

Atur Cara Berkaitan

  • LEP Percuma

    Pengaturcaraan Gerhana Celik Membantu pemaju secara bertulis berstruktur, kod sumber yang didokumenkan dengan baik. LEP mengintegrasikan pengekstrakan automatik kod sumber dan dokumentasi ke dalam persekitaran gerhana yang bi

  • BakerBots Percuma

    Ini adalah Kolej Baker, aplikasi yang dibangunkan oleh pelatih untuk menjalankan bot sebagai avatar dalam Kehidupan Kedua, OpenSim, dan lain-lain. Ia bergantung kepada Program# untuk pemprosesan AIML dan libOpenMetaverse untu

  • Survival Medicine Guide Percubaan Percuma

    "Memerlukan Pembaca Adobe Percuma"*Ini adalah panduan perubatan survival sekiranya apa yang kita semua takut benar-benar berlaku. Ini adalah pujian yang besar kepada mana-mana manual survival yang baik. Maklumat ini mungk

  • Universal Maths Conversion Library Percuma

    Perpustakaan UMCL menyediakan SATU API kepada pemaju aplikasi yang memerlukan penukaran antara format Matematik yang berbeza dan terutamanya notasi khusus Braille.

  • Bhagavad Gita(YaBG) Percuma

    YaBG - Satu lagi & petikan;Bhagavad Gita" aplikasi. Aplikasi ini membolehkan anda membaca keseluruhan gita bhagavad tanpa sebarang gangguan; tiada iklan, tiada pop timbul yang menyakitkan; benar-benar percuma dan tid

  • PONS German PREMIUM Percubaan Percuma

    PONS Kamus Jerman sebagai PREMIUM bahasa asing adalah dengan 77,000 kata kunci, frasa dan pembinaan dan lebih daripada 125,000 definisi dan contoh alat rujukan standard yang paling komprehensif oleh PONS. Adakah anda belajar

  • jQuantum Percuma

    jQuantum adalah program Java untuk mensimulasikan komputer kuantum, untuk mereka bentuk litar kuantum, dan untuk menggambarkan pelaksanaan algoritma kuantum. Satu lagi tujuan utama, bagaimanapun, adalah untuk membuat imej di

  • FlameBitmaps Percuma

    Mengira Pengiraan peta bit berskala 2D-Kelabu pengiraan badan putaran 3D membentuk kawasan yang dikesan dengan menggunakan algoritma pemprosesan imej yang berbeza. Dibangunkan untuk Pusat Aeroangkasa Jerman (DLR). Projek Terp

  • fropho Percuma

    fropho mengira sifat fon dalam kristal, yang berdasarkan kaedah Parlinski-Li-Kawazoe. Maklumat kekuasaan yang bertindak ke atas atom apabila atom dipindahkan diperlukan sebagai maklumat input. fropho akan digantikan dengan ph

  • FSMPP - Finite State Machines in C++ Percuma

    FSMPP adalah perpustakaan yang menyediakan rangka kerja yang mudah, lite dan intuitif untuk membina Mesin Negeri Finite di C++.