DRAKON.SU

Цитирую книгу профессора А.Н. Степанова

стр. 1017

стр. 1018

стр. 1018

стр. 1019

В свое время уважаемый Рифат сделал критическое замечание:


Сравните со словами проф. А.Н. Степанова:

1) Книга, которую вы показываете, копирует текст из ВикиПедии или откуда-то из другого места. Копирует определение от тех, кто придумал термин "двумерное структурное программирование", но не ссылается на основоположника "структурного программирования" - Дейкстру. По данному пункту несовпадение.
2) В структурном программировании управляющая логика ограничена тремя структурами: следование, цикл и выбор. В двумерном структурном программировании управляющая логика не ограничена тремя структурами, более того их может быть бесконечно много, что заставляет программиста каждый раз выявлять свойства еще не виданной им управляющей структуры. То, что в Драконе может быть бесконечно много управляющих структур не означает, что всё это многообразие используется, но оно может использоваться. Так же как и goto в языках программирования позволяет создавать бесконечное множество вариантов форм управляющей логики. По данному пункту несовпадение.
3) В структурном программировании упрощение логики управления позволяет упростить доказательство корректности программ. В двумерном же структурном программирование НЕ упрощение логики позволяет НЕ упростить доказательство корректности программ. По данному пункту несовпадение.
4) Структурное программирование предусматривает пошаговое уточнение. Двумерное структурное программирование об этом не говорит. По данному пункту несовпадение.
5) Структурное программирование предусматривает нисходящую разработку. Двумерное структурное программирование об этом не говорит. По данному пункту несовпадение.
6) Структурное программирование предусматривает верификацию программ. Двумерное структурное программирование об этом не говорит. По данному пункту несовпадение.
7) У терминов "структурное программирование" и "двумерное структурное программирование" два общих слова, но смыслы разные. С таким же успехом можно сказать, что "двумерное структурное программирование" - это "двумерное структурное моделирование":

Небольшая ремарка: многовариантность, как мне кажется, в ДРАКОНе не настолько всеобъемлющая. Все варианты лежат в двумерном пространстве одной диаграммы. А в целом - с наследованием всё в порядке: вставка => диаграмма. Циклы - вполне стандартные. Следование - визуально более выраженное, т.к. линия нагляднее, чем порядок символов в тексте.

Пошаговую, как и нисходящую, разработку мы тоже применяем при составлении программ на ДРАКОНе. Вполне работает. Например, проводили тесты по пошаговой генерации музыки на ДРАКОНе (FoxDot + Python), и сверху вглубь, как и положено в нисходящем.

Вопрос по верификации - суть проблема реализации верификаторов, а не ДРАКОНа. Рано или поздно напишут верификатор, учитывающий двумерную структуру, и вопрос отпадет. Может быть, даже мы и напишем.
К слову, существуют ли вопросы к верификации таблиц? Насколько мне известно - нет, т.к. известны простые механизмы контроля их состояния и изменений: цвет, график, расчет дельты и т.д.