Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

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

Язык моделирования Java (JML) — это язык спецификации поведенческого интерфейса, который может быть использован для уточнения поведения модулей Java (как в дизайне по контракту -- DBC). Он имеет много инструментов, чтобы сделать проверку утверждения, единицы тестирования и т.д.

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

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

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

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

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

    OpenSeeds — это основа веб-разработки с открытым исходным кодом и объектная модель, разработанная для среды LAMP. Он разработан с помощью сложных систем в виду. Сама структура является легкой. Объектная модель упрощена.

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

    Этот проект поставляет два утилиты по генерации кода и базовую библиотеку C, которая упрощает программирование для JNI в C.

  • Almende's Abbey Agent Kernel Бесплатный

    Этот проект обеспечивает простое ядро для создания распределенных приложений на основе агентов. Она основана на идее о том, что принципы, лежащие в основе программирования потоков данных, хорошо подходят для разработки языка

  • Flicky Web Launcher Бесплатная пробная версия

    Это приложение просто значок, который запускает About.com сайте.Позволяет легко добраться до веб-сайта Flickr.appjungle.net не связаны с Flickr.(все товарные знаки принадлежат их соответствующим владельцам)Ст

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

    Плагин Maven GWT используется для компиляции исходных файлов JavaScript из источника Java. Плагин работает GWTCompiler, позволяет настроить параметры компилятора, автоматически обнаруживает местоположение исходных и ресурсных

  • Delta Compositor Бесплатный

    Delta Compositor - это пакет композиций и спецэффектов high end. Он находится в очень раннем развитии. Версия на основе скрипта теперь доступна. В настоящее время графический интерфейс находится в стадии планирования и разраб

  • Database Access Framework Бесплатный

    Улучшенная версия блока приложений доступа к данным из шаблонов Microsoft и практики Enterprise Library 2.0.

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

    jDummy является расширением для jMock, библиотеки для тестирования Java-кода с макетами объектов. jDummy уменьшает код, необходимый для выражения соответствующих ожидаени, генерируя фиктивные значения и промежуточные макеты о

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

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

  • C++ Object Interfacing Dispatcher Бесплатный

    COID — это сетевая библиотека, обслуживаемая объектами, с инструментом, который автоматически генерирует легкий коммуникационный слой непосредственно из деклараций класса СЗ.