Программы www.overturetool.org

Проект Увертюра разрабатывает набор плагинов Eclipse с открытым исходным кодом для поддержки интеграции различных инструментов моделирования VDM (Венский метод разработки). Цель состоит в том, чтобы обеспечить поддержку всех