Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. The PEP tool
  5. Download

The PEP tool 2.0b

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy

Hakkı -nda The PEP tool

PEP farklı modelleme dilleri ve doğrulama teknikleri (örneğin SDL, Petri ağları ve model kontrolü) çok sayıda sağlayan paralel sistemler için bir modelleme ve doğrulama çerçevesidir

İlgili Programlar

  • JDPF Ücret -siz

    Bu program hem kişisel hem de ticari kullanım için ücretsiz bir açık kaynak yazılım, böylece daha iyi bilinen ücretli programlar için bir alternatif isteyenler için mükemmel bir seçimdir.

  • VDK Library Ücret -siz

    VDK Kütüphanesi, C++'da GTK+ GUI kitaplıklarını bağlayan, hem Linux hem de Windows için sağlanan bir çerçevedir ve VDKBuilder projesi için temel kitaplık olmuştur. Son zamanlarda proje bölünmüş ve VDK kendi tarafından gelişti

  • Efes Ücret -siz

    Bytecode tabanlı Şema (R^5RS) uygulaması. Hızlı, kompakt, istikrarlı, eğitim ve deney için uygundur.

  • Light Torch Flash Widget Pro Ücret -siz

    Widget sadece bir tıklama ile kameranın led (flaş) açmak / kapatmak için. Meşale kadar yararlı.

  • Ayra - VCL Report Generator Ücret -siz

    Bir rapor tasarımcısı ve jeneratör uygulaması Delphi yazılmış, bir WYSIWYG rapor tasarımcısı, rapor üretimi için bir VCL bileşeni, Delphi için geçerli 5 için 2006, ve çağrı için küçük bir CommandLine uygulaması. Sadece Window

  • ES32 - EEG Analysis Ücret -siz

    ES32, NEUROSCAN (tm) Edinme uygulaması tarafından üretilen EEG veri dosyalarının analizi için bir windows programıdır.

  • LJOS - Java and database integration Ücret -siz

    LJOS kelime dizisi anlamına gelir: Linux, Java, İşletim Sistemi. Bu, ortak bir depolama alanı olarak bir veritabanıyla sıkıca entegre edilmiş Linux çekirdeğine doğrudan bir bytecode uzantısı oluşturma girişimidir.

  • DROIDinfo (Android 1.6+) Ücret -siz

    DROIDinfo, Bir Android cihaz hakkında teknik bilgileri görüntüler. Dalvik VM'de görüldüğü gibi bir cihazın donanımına, Linux/Android sistemine ve Java özelliklerine genel bir bakış almak isteyen geliştiricilere yöneliktir. Ay

  • Lumbermill - Log4J/JSR47 GUI Ücret -siz

    Lumbermill Log4j ve (2.0) java.util.logging (JSR47) için görsel bir günlük işleme ve dağıtım merkezidir. Günlük olaylarının görüntülenmesini ve arşivlenmesini destekleyen bir Swing/GUI bağımsız uygulamasıdır.

  • EmbeddedImageBuilder Ücret -siz

    Bu projenin amacı, özgün paket kaynaklarına, en önemlisi buildroot'a dayalı küçük katıştırılmış sistemler için önyüklenebilir bir görüntü oluşturmak ve yinelenebilir yapılar için dağıtım ve yapılandırma dosyalarını anlık olar