Язык программирования и инструменты, позволяющие: легкое генерация кода для Java,C, C-,..; проверить правильность кода и формальные свойства. Цель состоит в том, чтобы обеспечить максимальную многофункциональность компонентов (без зависимости от языка), а также доказать их правильность.
история версии
- Версия N/A размещено на 2011-08-09
Несколько исправлений и обновлений - Версия N/A размещено на 2011-08-09
Подробная информация о программе
- Категории: Развития > Других
- Издателя: guml.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows