DRAKON.SU
https://forum.drakon.su/

Двумерное структурное програм-е по Степанову (ответ Рифату)
https://forum.drakon.su/viewtopic.php?f=159&t=6893
Страница 1 из 1

Автор:  Владимир Паронджанов [ Среда, 30 Сентябрь, 2020 20:46 ]
Заголовок сообщения:  Двумерное структурное програм-е по Степанову (ответ Рифату)

Цитирую книгу профессора А.Н. Степанова
Цитата:
Степанов А.Н. Курс информатики для студентов информационно-математических специальностей. (Серия «Учебник для вузов»). — СПб.: Питер, 2018. — 1088 с.

стр. 1017
Вложение:
Степанов Двумер Структурн.png
Степанов Двумер Структурн.png [ 249.85 КБ | Просмотров: 3091 ]

стр. 1018
Вложение:
Степанов Двумер Структурн Нов2.png
Степанов Двумер Структурн Нов2.png [ 201.86 КБ | Просмотров: 3057 ]

Автор:  Владимир Паронджанов [ Среда, 30 Сентябрь, 2020 22:15 ]
Заголовок сообщения:  Re: Двумерное структурное програм-е по Степанову (ответ Рифа

стр. 1018
Вложение:
Степанов Двумер Структурн3.png
Степанов Двумер Структурн3.png [ 909.18 КБ | Просмотров: 3087 ]

Автор:  Владимир Паронджанов [ Среда, 30 Сентябрь, 2020 22:30 ]
Заголовок сообщения:  Re: Двумерное структурное програм-е по Степанову (ответ Рифа

стр. 1019
Вложение:
Степанов Двумер Структурн4.png
Степанов Двумер Структурн4.png [ 420.75 КБ | Просмотров: 3087 ]

Автор:  Владимир Паронджанов [ Четверг, 01 Октябрь, 2020 08:48 ]
Заголовок сообщения:  Re: Двумерное структурное програм-е по Степанову (ответ Рифа

В свое время уважаемый Рифат сделал критическое замечание:
Вложение:
Паронджанов Слайды 1-104 ИСП РАНа _Страница_092.png
Паронджанов Слайды 1-104 ИСП РАНа _Страница_092.png [ 48.85 КБ | Просмотров: 3067 ]


Сравните со словами проф. А.Н. Степанова:
Цитата:
Нестандартным развитием структурного программирования является метод двумерного структурного программирования...

По-видимому, одним из первых воплощений двумерного структурного программирования можно считать Р-технологию программирования, которая была разработана И. В. Вельбицким в начале 70-х годов XX века в Институте кибернетики им. В.М. Глушкова (г. Киев, СССР)...

Обсуждаемый подход двумерного структурного программирования был развит в процессе создания отечественного языка программирования ДРАКОН...

Автор:  Rifat [ Четверг, 01 Октябрь, 2020 12:56 ]
Заголовок сообщения:  Re: Двумерное структурное програм-е по Степанову (ответ Рифа

Вложение:
3.png
3.png [ 12.87 КБ | Просмотров: 3054 ]

Вложение:
1.png
1.png [ 86.31 КБ | Просмотров: 3054 ]

Вложение:
2.png
2.png [ 78.15 КБ | Просмотров: 3054 ]

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

Автор:  Дмитрий Бардынин [ Воскресенье, 04 Октябрь, 2020 13:47 ]
Заголовок сообщения:  Re: Двумерное структурное програм-е по Степанову (ответ Рифа

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

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

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

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/