G-UML

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

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

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

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

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