Разработки, могущие послужить источниками идей для реализации.

Интегрированная среда поддержки ЖЦ систем управления КА на базе БЦВК. Разрабатывается в г. Самаре с участием СГАУ, ЦСКБ «Прогресс» и других организаций.

Сайт проекта: http://grafkont.ru/.

Реализация основана на оригинальном подходе к сквозной формализации задач, решаемых КА. Основные результаты изложены на этой и связанных страницах. Широко использует графические модели. Генерация ПО автоматическая, включая блок-схемы программ.

Условия использования результатов следует уточнять у разработчиков.

То же, что Semantic IDE.

Структурный редактор-транслятор на Оберон, учебный авторский язык и другие языки (Си-подобные и пр.). В основу реализации положено выделение т.н. семантического ядра - базиса алгоритмических (в перспективе - также декларативных) структур, имеющих унифицируемый смысл в поддерживаемых языках при возможных различиях синтаксиса.

Разрабатывается группой под руководством В. Лаптева (Астраханский ГТУ) с 2010 г. В 2012 г. начато внедрение начального издания в учебный процесс университета.

Название «Semantic IDE» (здесь также - СемИДЕ) было принято как рабочее (для исходного издания). Ранее здесь и в обсуждениях называлась также «Структурный/Семантический редактор», «ВЛ-система».

Официальные публикации доступны в этой теме. Следует выделить:

• Статью о концепции «семантического ядра»: http://forum.oberoncore.ru/viewtopic.php?p=76703#p76703.
• Статью по структурному (семантическому) редактированию: http://forum.oberoncore.ru/viewtopic.php?p=76704#p76704.

Основные решения также обсуждались:

• в специализированной теме проекта.

Доступен деморолик работы в промежуточном варианте.

Условия распространения - следует уточнять у разработчика.

Скриншот предварительной версии:

Для представления маршрутов алгоритмической части употреблены одномерные структурные скобки (фигуры выделения блоков в линейно организованном исходном тексте; были предложены независимо, в частности, Jeffrey V. Nickerson и С. Прохоренко) в упрощённой версии, подобной использованной здесь.

Предполагается реализовать ряд типов граф-схем. В частности, дракон-схемы для представления кода процедур. В первую очередь рассматриваются граф-схемы автоматов.

Пользователь может описывать свой синтаксис для базовых понятий языков, реализованных в среде.

Структурный редактор-транслятор с поддержкй различных гибридных языков. Разработан Rapid Quality Systems Ltd.

Страница проекта: http://www.rapidqualitysystems.com/Support/Videos/CodeRocketDesigner (включает деморолик редактирования). Также доступны другие деморолики.

Распространение лицензионное, платное.

Доступные материалы представляют отдельные решения, имеющие смысл для дракон-редакторов.