Проект Увертюра разрабатывает набор плагинов Eclipse с открытым исходным кодом для поддержки интеграции различных инструментов моделирования VDM (Венский метод разработки). Цель состоит в том, чтобы обеспечить поддержку всех существующих инструментов VDM и языковых диалектов.
история версии
- Версия Overture_IDE размещено на 2011-02-27
Несколько исправлений и обновлений - Версия N/A размещено на 2011-02-27
Подробная информация о программе
- Категории: Развития > Других
- Издателя: www.overturetool.org
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows