Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. The PEP tool

The PEP tool 2.0b

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

PEP jest ramą modelowania i weryfikacji systemów równoległych, zapewniającą dużą liczbę różnych języków modelowania i technik weryfikacji (np. sieci SDL, Petriego i sprawdzanie modelu)

historia wersji

  • Wersja 2.0beta4 opublikowany na 2004-09-13
    Kilka poprawek i aktualizacji
  • Wersja 2.0beta4 opublikowany na 2004-09-13

Szczegóły programu

Programy pokrewne

  • JDPF Wolna

    Ten program jest oprogramowaniem open source wolnym zarówno do użytku osobistego, jak i komercyjnego, a więc idealnym wyborem dla tych, którzy chcą alternatywy dla bardziej znanych płatnych programów.

  • VDK Library Wolna

    Biblioteka VDK to struktura w języku C++, która wiąże biblioteki graficzne GTK+, dostępna dla systemów Linux i Windows, była biblioteką bazową dla projektu VDKBuilder. Ostatnio projekt został podzielony i VDK kontynuuje rozwó

  • Efes Wolna

    Implementacja schematu opartego na kodzie bajtowym (R^5RS). Szybki, kompaktowy, stabilny, odpowiedni do edukacji i eksperymentowania.

  • Light Torch Flash Widget Pro Wolna

    Widget, aby włączyć / wyłączyć aparat led (flash) za pomocą tylko kliknięcia. Przydatne jako latarka.

  • Ayra - VCL Report Generator Wolna

    Projektant raportów i aplikacja generatora napisana w Delphi, z projektantem raportów WYSIWYG, składnikiem VCL do generowania raportów, ważna dla Delphi 5 do 2006, i małą aplikacją CommandLine do połączenia. Działa tylko w sy

  • ES32 - EEG Analysis Wolna

    ES32 to program windows do analizy plików danych EEG produkowanych przez aplikację NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Wolna

    LJOS oznacza sekwencję słów: Linux, Java, System operacyjny. Jest to próba utworzenia bezpośredniego rozszerzenia kodu bajtowego do jądra Linuksa ściśle zintegrowanego z bazą danych jako wspólnym magazynem.

  • DROIDinfo (Android 1.6+) Wolna

    DROIDinfo wyświetla informacje techniczne o urządzeniu z systemem Android. Jest on skierowany do programistów, którzy chcą uzyskać przegląd sprzętu urządzenia, systemu Linux / Android i właściwości Java, jak widać z Dalvik VM

  • Lumbermill - Log4J/JSR47 GUI Wolna

    Lumbermill jest wizualnym centrum przetwarzania i dystrybucji dziennika log4j i (w 2.0) java.util.logging (JSR47). Jest to samodzielna aplikacja Swing/GUI, która obsługuje przeglądanie i archiwizowanie zdarzeń dziennika.

  • EmbeddedImageBuilder Wolna

    Celem tego projektu jest zapewnienie metody tworzenia obrazu rozruchowego dla małych systemów osadzonych, w oparciu o oryginalne źródła pakietów, w szczególności buildroot, oraz migawkę plików dystrybucji i konfiguracji dla p