Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

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

О Overture: Formal modelling in VDM

Проект Увертюра разрабатывает набор плагинов Eclipse с открытым исходным кодом для поддержки интеграции различных инструментов моделирования VDM (Венский метод разработки). Цель состоит в том, чтобы обеспечить поддержку всех существующих инструментов VDM и языковых диалектов.

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

  • Mkulu QA Proxy Бесплатный

    Для просмотра деталей пакетов HTTP используется прокси-сервер Mkulu. Это полезный инструмент для веб-разработки и тестирования. Ведется работа по увеличению функциональности инструмента. Прокси способен анализировать двоичный

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

    Иллюминация - многокоммуная, независимая от платтформы библиотека GUI. Ключевые особенности: themability, поддержка описания поверхности XML, отличный двигатель компоновки, шрифт-чувствительность, бэкэнды для X11, Windows, уг

  • HMM Based Chinese Segmentor Бесплатный

    Это проект, который реализует интерфейс lucene Analyzer, чтобы расширить свою функцию решения проблемы китайской сегментации на основе статистической модели (Hiden Marcov Model)

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

    NHibernateIt является помощником NHibernate сессии управления и обеспечивает основные действия CRUD корыта класса репозитория. Вдохновленный проектом NHibernator, на oracleatdotnet.com

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

    AstroWeka – это набор масштабов Weka, популярной программы анализа данных, которая позволяет ей работать непосредственно с астрономическими данными в Виртуальной обсерватории.

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

    CalFaces (ранее jsforganiser) представляет собой набор компонентов JavaServer Faces для использования в веб-приложениях PIM, обеспечивая календарь в стиле Outlook с дневными, рабочие недели, недели и месяца, а также планировщ

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

    Многоплатформенные библиотеки СЗ. 1. xmt: Портативный интерфейс программирования для создания приложений или библиотек MultiThreaded (MT); 2. носки: интерфейс к розеткам (потоки IO); 3. StEM: конечная система машины/коммуника

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

    H3xC4T читает бинарные файлы и показывает гексадецимальное содержимое, заказанное в столбцах... в будущем, я добавлю некоторые функции, такие как простой двоичной преобразования или разборки ...

  • Charset detector Бесплатный

    Библиотека автоматического обнаружения charset данного текста или файла. Входной буфер будет проанализирован, чтобы угадать использованное кодирование. Результат (charset name или идентификатор страницы кода) может быть испол

  • Java Signal/Slot with Annotations Бесплатный

    Эта библиотека является api сигнала/слота для Java 5.0, который использует аннотации для разметки сигналов/слотов. Подкласс, содержащий сигнал/слот-энумы, а также методы испускания сигнала в слоты, генерируется автоматически