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

G-UML

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

О G-UML

Язык программирования и инструменты, позволяющие: легкое генерация кода для Java,C, C-,..; проверить правильность кода и формальные свойства. Цель состоит в том, чтобы обеспечить максимальную многофункциональность компонентов (без зависимости от языка), а также доказать их правильность.

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

  • XBMC / Boxee Remote Бесплатный

    Дистанционное управление для XBMC / Boxee.ПОЖАЛУЙСТА, UNINSTALL v1.0!!!v3.1Поддержка профилей в предпочтенияхv2.2- Незначительное исправление ошибкиv2.1Незначительное исправление ошибок, чтобы заставить его рабо

  • tksolfege ear training program Бесплатный

    Tksolfege является ухо учебной программы для обучения распознавать аккорды, интервалы, выполнять ритм диктовку, solfege диктовки и пение solfege последовательностей. Программа требует Tcl/Tk 8.4, однако Windows выполняется им

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

    cfGlitch — это простая система отслеживания ошибок программного обеспечения, написанная в Cold Fusion. Это предназначен для работы на рабочих станциях разработчика (идеально подходит для консультантов), а также на серверах

  • Adv Battery Savior Бесплатный

    Виджет батареи с расчетом времени автономной работы. Вы можете оптимизировать время автономной работы с этим приложением, чтобы выключить устройство bluetooh, Wi-Fi устройство, яркость экрана и убить некоторые приложения, кот

  • AutoIT in Ada Бесплатный

    Это привязка Ada к AutoITX интерфейс автоматизации испытаний для win32 Графические пользовательские интерфейсы.

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

    btPair является Bluetooth Сопряжение помощник. Теперь это бесплатно. Вы когда-нибудь были раздражены Android, когда вы хотите пару или unpair устройство Bluetooth? Каждый раз, когда собирается Настройки-'gt;Wireless-'gt;Bluet

  • phpMD / PHP CodeSniffer Netbeans Plugin Бесплатный

    Netbeans PHP Plugin, который обеспечивает нарушения, выявленные PHP Mess Detector (phpmd.org Мануэлем Пихлером) и предупреждения / информация от PHP CodeSniffer (http://pear.php.net/package/PHP_CodeSniffer/)

  • Pequel ETL Data Transformation Engine Бесплатный

    Всеобъемлющая и высокой производительности системы распределения и преобразования данных. Особенности простой, удобный интерфейс сценариев событий прозрачно генерирует и execs высокоэффективный код Perl/C. Использует:ETL,data

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

    Gedcom 5.5.1 совместимая версия пакета PEAR 2008 Genealogy_Gedcom 2008 года. Эта новая версия будет использовать PHP 5.3 и быть PEAR2 совместимым. Поддержка версий Gedcom до 5.5.1 будет оцениваться по запросу, как только этот

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

    Инструментарий JINSECT — это инструментарий и библиотека на основе Java, которая поддерживает и демонстрирует использование n-граммовых графиков в приложениях обработки естественного языка, начиная от суммирования и краткой о