Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Slicefy

Slicefy

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов
Скачать

Инструмент для спецификации и проверки параллельных систем с помощью срезов.

история версии

  • Версия N/A размещено на 2011-07-25
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-07-25

Подробная информация о программе

Похожие программы

  • Transform SWF for Java Бесплатный

    Transform SWF является простой в использовании библиотекой для чтения и записи файлов Flash и Flash Video. По данным На 25/11/2010 последняя версия (3.0) теперь можно найти на GitHub, https://github.com/StuartMacKay/transform

  • CodeSnip Бесплатный

    CodeSnip управляет, отображает и манипулирует репозиторием исходных кодов. Репозиторий может отображать локально сохраненные фрагменты, загруженные из базы данных онлайн-фрагментов кода, а также фрагменты кода, определяемые п

  • Jester Бесплатный

    Jester является тест-тестером для тестирования тестов Java JUnit (Pester для тестов Python PyUnit). Он изменяет исходный код, выполняет тесты и отчеты, если тесты проходят, несмотря на изменения в коде. Это может указывать на

  • ApacheBuilder Бесплатный

    ApacheBuilder строит Apache (с дополнительными модулями Mod_SSL и Mod_Perl) из источников, побуждая к опоясывательным парамам местоположения и т.д. Когда сделано, он начинает Apache и проверяет все это работает нормально.

  • NDAI Reference Library for HFI Бесплатный

    Интерфейс абстракции сетевой datagram (NDAI) для интегрированной высокоскоростной сети HFI от IBM PERCS.

  • QueryXMMS Бесплатный

    QueryXMMS использует libxmms для запроса популярного мультимедийного плеера Linux XMMS о его текущем состоянии.

  • Leseratte Бесплатный

    Leseratte является Java parser для немецкого письменного языка. В настоящее время он содержит немецкий лексикон (на основе Виктионария), правила инфлексии, грамматику и парсер. (Семантический компонент запланирован.) При рабо

  • aspell-nds Бесплатный

    Этот проект предоставляет низкосаксонский языковой модуль для программы GNU aspell. Низкий саксонский (ISO-language code: nds) — региональный язык, на котором говорят в северной Германии и восточной части Нидерландов.

  • Yet Another Object Request Broker Бесплатный

    Еще одним объектом Запроса Брокер является реализация CORBA, написанная в C

  • Open Source Tracker Бесплатный

    Open Source Tracker является средством электронной прослеживаемости пищевых сообщений, например TraceCoreXML. OST поставляется с дополнительным веб-интерфейсом, используемым для просмотра, генерации, выдоха и перевода сообщен