Здравствуйте, tau797, Вы писали:

T>Видите ли, Cyberax, вы прямо-таки погрязли в спеси. Построянно требовать якобы отсутствующего применения графического языка Паронджанова — значит не удосужиться ознакомиться хотя бы с минимумом информации о нем.
T>А ВЕДЬ ОНА ПРИМЕНЯЕТСЯ, И ДОСТАТОЧНО ДАВНО И УСПЕШНО, ПРИ СОЗДАНИИ ВЕСЬМА СЕРЬЕЗНЫХ И ОТВЕТСТВЕННЫХ ПРОГРАММНЫХ СИСТЕМ — СИСТЕМ УПРАВЛЕНИЯ КОСМИЧЕСКОЙ ТЕХНИКОЙ.
Я их не видел, и не знаю что там внутри, и почему-то мне кажется, что там ничего технологически сложного нет. Конечно, для управления полётом нужны специальные мат. модели, но их сложность не относится к программированию.

Я когда-то лично делал софт управления устройствами. Фактически получается просто большая state-машина, где нужно аккуратно следить за переходами. Кстати, там действительно были полезными диаграммы состояний. Опять же, немного зная наши НИИ — там могли писать код на том, что выгодно защищающему докторскую диссертацию, а не на том, что лучше всего бы подошло.

С точки зрения надёжности — как-то графический подход не впечатляет. Например, у НАСА есть система верификации корректности кода, которую они используют для части систем ( http://javapathfinder.sourceforge.net/ ). Для Ады (и С++) есть Coverity и куча других средств. Всё доступно и можно пощупать руками. Ещё можно вспомнить парижское метро с полностью доказаным софтом.

Для "Дракона" же нет _ничего_. Например, на форуме "Дракона" — вообще полный детский сад. Простите, но когда редактор всемогущего языка написан (криво) на _Дельфи_ — это просто смешно ( http://forum.oberoncore.ru/viewtopic.php?p=21559#p21559 ). Так что я по-прежнему хочу увидеть хоть один реальный проект. И самое прикольное, что я продолжаю быть увереным, что мне ничего не покажут.