Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. a validating tool of BPEL programme
  5. Download

a validating tool of BPEL programme 1.0

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

О a validating tool of BPEL programme

Этот проект предлагает инструмент для формальной проверки состава веб-сервисов на основе Pi-исчисления и преобразования между BPEL и pi-исчислением. Этот инструмент интегрирует два вида формальных методов проверки и может автоматически проверяться.

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

  • Kernel Module Examples Бесплатный

    Загружаемый модуль ядра - примеры того, как кодировать загружаемый модуль ядра.

  • J-Hop Gnutella System Бесплатный

    Модульный Gnutella servent с gui, текстовыми и пакетных интерфейсами. Разработано с использованием новых API Java1.4 и API сетей. Оптимизирован для подключений с низкой пропускной способностью и ADSL.

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

    Разборка и сборщик для Windows Mobile с процессором ARM. Составлено с Pelles C на Windows XP.

  • Cojen - Java bytecode generator Бесплатный

    Динамические инструменты генерации и разборки Java bytecode. Строитель позволяет создавать код легче, вместо того, чтобы выбирать точные инструкции. Предоставляются утилиты классов, которые демонстрируют генератор кода и погр

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

    Управление и мониторинг цифрового устройства позволило домохозяйству использовать устройство Android через сеть Wi-Fi. Вы можете установить светлые сцены, чтобы соответствовать вашему настроению и открыть, закрыть или настрои

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

    JAMSEL (Java API для выбора сообщений) — это высокая производительность реализации спецификации выбора JMS 1.1 для фильтрации на стороне клиента. API Java/C- API обеспечивает поддержку поставщиков данных JMS, TIBCO/RV и Hasht

  • animal battery widget *alpaca* Бесплатная пробная версия

    Симпатичный виджет ALPACA для отображения оставшегося количества батареи.Отображает милый дизайн, мощность батареи смартфонов.Также отображаются в простых для чтения номерах.15 дизайн включает в себя!Лучше всего для

  • LambdaMOO Server Бесплатный

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

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

    PPIV — это параллельное программное приложение, используемое в анализе велоциметрии изображений частиц (PIV). Программное обеспечение будет вычислять векторное поле для одной пары изображений или нескольких пар изображений. P

  • HTC One LED Flashlight Бесплатная пробная версия

    Используйте телефон в качестве фонарика, включив и выключив светодиодный свет (рядом с камерой). Это бесплатное приложение факел яркий и выглядит великолепно. Это быстрый и простой в использовании, с большой кнопкой по цент