Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. OCL development environment for Eclipse
  5. Download

OCL development environment for Eclipse 2

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

О OCL development environment for Eclipse

Основной целью данного проекта является создание редактора Eclipse для уточнения контрактов OCL. Язык OCL используется для предварительного, пост-условий и invariants. Проект также содержит парсер для проверки синтаксиальной и семантической правильности.

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

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

    Faile - это бесплатная шахматная программа, которая играет в довольно сильную игру в шахматы (экспертная сила или лучше). Одной из главных целей Faile является предоставление полное признакам шахматная программа с исходным ко

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

    Этот инструмент позволяет резервного копирования данных, таких как телефонная книга, календарь, заметки и другие SonyEricsson (проверено на w810i) мобильный телефон. Это инструмент командной строки.

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

    SubdiverSVN является клиентом Subversion для Linux с библиотекой GTKmm.

  • Note Me Up Free Бесплатный

    Сделайте простые заметки и уведомите заметки. Существует виджет доступны тоже. Поддержите нас с покупкой полной версии, которая содержит все дополнительные услуги:- Захват заметки (Захват с камеры, использовать несколько сенс

  • CMWS Model Бесплатный

    Модель CMWS, написанная в настоящее время на питоне, компилирует модели запусков компьютерных моделей Оперативного GFS и NAM от NOAA для предоставления численного прогноза погоды с использованием статистического прогнозирован

  • UO Sphere Scripter Бесплатный

    SphereScripter является простым инструментом, который позволяет сделать Sphereserver скрипты и Гампы в простой способ. Особенности: цвет кода, проверить синтаксис, gump создатель, дисплей искусства / Мул фотографии, поиск иск

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

    Этот проект sourceforge закрыт до дальнейшего уведомления --CarbonKernel — это симулятор RTOS, основанный на методах моделирования, управляемых событиями. Он имитирует поведение операционных систем в режиме реального времен

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

    BTCpp — это Библиотека Bluetooth с открытым исходным кодом, написанная в C/C.Вы можете использовать BTCpp в своих проектах по C/C, если вам нужна поддержка для базового чтения/записи данных на удаленных устройствах, дистанц

  • OOF: the very open Flash components Бесплатный

    OOF - это набор компонентов, которые позволяют дизайнерам создавать бэк-офис, передний офис, динамические сайты, формы, богатые приложения, приложения, управляемые базой данных... Это делается с Flash или SILEX, дизайнерами б

  • Nobles Riggers App Бесплатный

    Разработанный Nobles, этот простой, простой в использовании инструмент, который позволяет искать рабочие ограничения нагрузки для различных типов фальсификации (провода веревки строп, цепи строп, синтетические стропы), все к