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

The PEP tool 2.0b

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

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

sürüm geçmişi

  • Sürüm 2.0beta4 tarihinde gönderildi 2004-09-13
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 2.0beta4 tarihinde gönderildi 2004-09-13

Program Detayları

İ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