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

WATERS

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

О WATERS

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

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

  • XML Template Processor Бесплатный

    Стандарты ИСО на основе XML для документов (OOXML, ODF, XHTML ...) облегчили задачу генерации отчетов. Библиотека JAVA XTP (XML Template Processor) заполняет шаблоны отчетов (созданные дизайнерами) необработанными данными (в

  • Rule MANager for Snort Бесплатный

    Правило MANagaer для Snort Аддон PHP для фырканье для управления правилами на нескольких датчиках отцентральный Snort MyS'L db.Основные особенности: Правила слияния по группе из snort CVS.Автоматическое обновление дат

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

    Библиотека Java и набор инструментов для быстрого и легкого управления графиками (набор узлов и краев) и динамическими графиками. Главной чертой этой библиотеки является ее способность управлять (создавать, редактировать, мак

  • Cut Order Plan Бесплатный

    Cut-Order Plan является инструментом, используемым в швейной промышленности для составления плана сокращения. Характеристики:- «Сейчас он обрабатывает одну ткань одновременно.»Работает для минимальных возможностей маркера.»Ва

  • Japano Webapplication Toolkit Бесплатный

    Japano — это инструментарий и движок на основе веб-приложений на основе Java-сервлета. Он предлагает простую логику веб-сайта и создание формы HTML и предлагает интеграцию динамических обновлений JavaScript (AJAX). Образец ве

  • Reboot Control Widget Бесплатная пробная версия

    Перезагрузка ВиджетКОРНЕВОЙ ДОСТУП НЕОБХОДИМЭтот виджет позволит вам перезагрузить любое устройство, включая Функции:ПерезагрузкиГорячая загрузкаПерезагрузка к восстановлениюПерезагрузка загрузчикуВыключе

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

    OpenWiz – это проект, который помогает в разработке программного обеспечения с открытым исходным кодом для портативной машины GamePark Holdings Wiz. Мы будем поддерживать общественный доступ к источникам ядра, а также предост

  • JCortex (Neural Networks Framework) Бесплатный

    JCortex — это полное решение, которое позволяет разработчикам программного обеспечения создавать, обучать и использовать искусственные нейронные сети в Java-проектах. Разделяется на два элемента: JCortex Framework, рамочная с

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

    Python Shell была построена из непосредственной системы «Зт», «Сцинтилла» и API Python C, которая содержит синтаксис и простое завершение кода с помощью графического интерфейса. Есть надежда, что виджет йт может быть построен

  • xacc.ide Бесплатный

    xacc.ide является открытым исходным кодом IDE, направленных в основном на развитие .NET. Он имеет код-редактор, написанный в 100% кодЕ, который быстрее, чем большинство коммерческих предложений.