Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. The PEP tool
  5. Download

The PEP tool 2.0b

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi

Tentang The PEP tool

PEP adalah rangka kerja pemodelan dan pengesahan untuk sistem selari, menyediakan sebilangan besar bahasa pemodelan dan teknik pengesahan yang berbeza (contohnya SDL, jaring Petri dan pemeriksaan model)

Atur Cara Berkaitan

  • JDPF Percuma

    Program ini adalah perisian sumber terbuka percuma untuk kegunaan peribadi dan komersial, oleh itu pilihan yang tepat bagi mereka yang mahukan alternatif untuk program berbayar yang lebih terkenal.

  • VDK Library Percuma

    Perpustakaan VDK adalah rangka kerja dalam C++ yang mengikat perpustakaan GTK+ GUI, yang disediakan untuk kedua-dua Linux dan Windows telah menjadi perpustakaan asas untuk projek VDKBuilder. Baru-baru ini projek ini telah dib

  • Efes Percuma

    Pelaksanaan Skim Berasaskan Kod Bait (R^5RS). Cepat, padat, stabil, sesuai untuk pendidikan dan eksperimen.

  • Light Torch Flash Widget Pro Percuma

    Widget untuk menghidupkan / mematikan kamera yang diketuai (flash) dengan hanya satu klik. Berguna sebagai kancing.

  • Ayra - VCL Report Generator Percuma

    Satu laporan pereka dan penjana permohonan yang ditulis di Delphi, dengan pereka laporan WYSIWYG, komponen VCL untuk penjanaan laporan, sah untuk Delphi 5 hingga 2006, dan sedikit permohonan CommandLine untuk panggilan. Ia ha

  • ES32 - EEG Analysis Percuma

    ES32 adalah program tingkap untuk analisis fail data EEG seperti yang dihasilkan oleh aplikasi NEUROSCAN (tm).

  • LJOS - Java and database integration Percuma

    LJOS bermaksud urutan perkataan: Linux, Jawa, Sistem Operasi. Ini adalah percubaan untuk mewujudkan sambungan kod bait langsung ke isirong Linux yang ketat disepadukan dengan pangkalan data sebagai storan biasa.

  • DROIDinfo (Android 1.6+) Percuma

    DROIDinfo memaparkan maklumat teknikal tentang peranti Android. Ia bertujuan untuk pemaju yang ingin mendapatkan gambaran keseluruhan perkakasan peranti, sistem Linux / Android, dan sifat Java seperti yang dilihat dari Dalvik

  • Lumbermill - Log4J/JSR47 GUI Percuma

    Lumbermill adalah pusat pemprosesan dan pengedaran log visual untuk Log4j dan (dalam 2.0) java.util.logging (JSR47). Ia adalah aplikasi kendiri Swing / GUI yang menyokong melihat dan mengarkibkan peristiwa log.

  • EmbeddedImageBuilder Percuma

    Matlamat projek ini adalah untuk menyediakan kaedah untuk membina imej bootable untuk sistem tertanam kecil, berdasarkan sumber pakej asal, terutamanya membina, dan untuk menangkap pengedaran dan fail konfigurasi untuk membin