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

Syspect 1.5.0

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

Syspect — это инструмент для уточнения системы с использованием диаграмм UML2 и перевода их в спецификацию CSP-ОЗ-DC для формальной проверки.

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

  • Версия 1.5.0 размещено на 2010-05-11
    Несколько исправлений и обновлений
  • Версия 1.5.0 размещено на 2010-05-11

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

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

  • Frankenstein Project: Hack the Genome Бесплатный

    Проект Франкенштейна: взломать геномКоллекция ценных инструментов, необходимых для анализа генома, таких как:- молекула, белок 3d структура зрителя- машина выравнивания протеина- клонер- Инструменты манипулирования

  • Order Switchable Column Table (OSCT) Бесплатный

    Таблица переключаемых столбца (OSCT) является основой формата вкладок в молекулярной биологии. OSCT, разработанный в RIKEN OSC, обеспечивает общую основу для захвата мета-данных (таких как входной файл, протокол, параметры и

  • Chemistry Terms Dictionary Бесплатный

    Скачать полный словарь руководства химии сегодня. Это приложение содержит более 1000 квот;химических терминов; вместе с их научными definitions.The пользователь этого приложения может искать определения для определенных химич

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

    Зурбар - это компьютерное приложение, предназначенное для управления и оцифровки коллекций естественной истории. - Запись всех идентификационных образцов. Он основан на MS-Access. Кредиты и более подробная информация по http:

  • Turkish Human Mutation Database Бесплатный

    Быстрое накопление данных о мутациях человека привело к идее создания национальной/этнической базы данных в Турции, одобренной HUGO-MDI/HGVS. Проект междисциплинарного hmut-tr, начатый в 1995 году, направлен на сбор этих ценн

  • Regex Creator Бесплатный

    Regex Creator – это инструмент, который помогает создавать регулярные выражения (regex). Цель состоит в том, чтобы сделать его как можно проще и быстрее, чтобы создать regex. Вы вставьте текст для анализа, указать значения дл

  • Lapack++ Бесплатный

    ЛАПАКЗ – это библиотека высокопроизводительных линейных вычислений алгебры.Эта версия включает в себя поддержку решения линейных систем с использованием LU, Cholesky,Факторизация матрицы, для реальных и сложных матриц.

  • Buxa Code Documentor for PHP 6 Бесплатный

    Простой в использовании API для документирования проектов PHP (No 5.3). Он следует строгой структуре и первоначально, он был написан только для Buxa Framework. Документатор в основном использует отражение и да ... конечно, он

  • Moodle presubscribe Бесплатный

    Объект presubscribe можно использовать с Moodle для того чтобы добавить полные возможности presubscribe к ему. Модуль позволяет пользователям предписать курс (с уведомлением электронной почты). Moodle администратор может утве

  • di-base read Fast Alignment Search Tool Бесплатный

    Быстрый инструмент поиска выравнивания для ди-базы читает (цвет-пространство; AB SOLiD). Дополнительную программу для популярной Illumina читают картографы mrFAST и mrsFAST.