Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Slicefy
  5. Download

Slicefy

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

O Slicefy

Narzędzie do specyfikacji i weryfikacji systemów równoczesnych za pomocą plasterków.

Programy pokrewne

  • Transform SWF for Java Wolna

    Transform SWF to łatwa w użyciu biblioteka do odczytu i pisania plików Flash i Flash Video. Od 25/11/2010 najnowszą wersję (3.0) można teraz znaleźć w GitHub, https://github.com/StuartMacKay/transform-swf.

  • CodeSnip Wolna

    CodeSnip zarządza, wyświetla i manipuluje repozytorium kodu źródłowego. Repozytorium może wyświetlać lokalnie przechowywane fragmenty kodu pobrane z bazy danych urywki kodu online, a także fragmenty kodu zdefiniowane przez uż

  • Jester Wolna

    Jester jest testerem testowym do testowania testów java JUnit (Pester jest dla testów python pyunit). Modyfikuje kod źródłowy, uruchamia testy i raporty, jeśli testy przechodzą pomimo zmian w kodzie. Może to wskazywać brakują

  • ApacheBuilder Wolna

    ApacheBuilder buduje Apache (z opcjonalnymi modułami Mod_SSL i Mod_Perl) ze źródeł, podszeptując do konfiguracyjnych params lokalizacji itp. Po zakończeniu uruchamia Apache i weryfikuje to wszystko działa ok.

  • NDAI Reference Library for HFI Wolna

    Implementacja biblioteki referencyjnej interfejsu NDAI (Network Datagram Abstraction Interface) dla zintegrowanej sieci HFI FIRMY IBM PERCS.

  • QueryXMMS Wolna

    QueryXMMS używa libxmms do zapytania popularnego odtwarzacza multimedialnego Linux XMMS o jego aktualny stan.

  • Leseratte Wolna

    Leseratte jest parser Java dla języka niemieckiego pisanego. Obecnie zawiera niemiecki leksykon (oparty na Wiktionary), reguły inflexion, gramatyki i analizatora. (Planowany składnik Semantyka). Nadaje się do obsługi jako bib

  • aspell-nds Wolna

    Projekt ten zapewnia moduł języka niskosaksońskiego dla programu GNU aspell. Dolna Saksonia (kod języka ISO: nds) jest językiem regionalnym używanym w północnych Niemczech i wschodniej części Holandii.

  • Yet Another Object Request Broker Wolna

    Jeszcze inny object request broker jest implementacja CORBA, napisany w języku C++

  • Open Source Tracker Wolna

    Open Source Tracker to oprogramowanie pośredniczące do elektronicznej identyfikowalności wiadomości żywnościowych, na przykład TraceCoreXML. OST jest wyposażony w opcjonalny interfejs internetowy używany do wyświetlania, gene