Алгоритм построения описания логической схемы программы по ее тексту

Автор: Марковский Алексей Сергеевич, Петров Василий Владимирович, Бурова Ирина Олеговна

Журнал: Вестник Российского нового университета. Серия: Сложные системы: модели, анализ и управление @vestnik-rosnou-complex-systems-models-analysis-management

Рубрика: Информатика и вычислительная техника

Статья в выпуске: 2, 2017 года.

Бесплатный доступ

В статье дано неформальное описание алгоритма решения задачи описания логической схемы программы, а также основных этапов алгоритма. Алгоритм построения описания логической схемы программы по ее тексту рассматривается на примере языка СИ++.

Алгоритмизация схемы программы, описание данных, структуры данных

Короткий адрес: https://sciup.org/148160309

IDR: 148160309

Список литературы Алгоритм построения описания логической схемы программы по ее тексту

  • Агафонов В.Н. Спецификация программ: понятийные средства и их организация. -Новосибирск: Наука (Сибирское отделение), 1987. -С. 30-73.
  • Андерсон Р. Доказательство правильности программ/пер. с англ. Б.Н. Зобниной; под ред. Д.Б. Подшивалова. -М.: Мир, 1982. -С. 154-159.
  • Донаху Дж. Взаимодополняющие определения семантики языка программирования//Семантика языков программирования. -М.: Мир, 1980. -С. 222-394.
  • Ершов А.П. Современное состояние теории схем программ//Проблемы кибернетики: сборник статей. -Вып. 27. -М.: Наука, 1973. -С. 87-110.
  • Ершов А.П. Об операторных схемах Янова//Проблемы кибернетики: сборник статей. -Вып. 20. -М.: Наука, 1968. -181-200.
  • Новиков А.Н. Математическая модель обоснования вариантов реконфигурации распределенной автоматизированной контрольно-измерительной системы/А.Н. Новиков, А.А. Нечай, А.В. Малахов//Вестник Российского нового университета. Серия «Сложные системы: модели, анализ и управление». -2016. -Выпуски 1-2. -С. 56-59.
  • Нечай А.А. Методика повышения надежности функционирования систем, организованных на перепрограммируемых элементах/А.А. Нечай, П.Е. Котиков//Вестник Российского нового университета. Серия «Сложные системы: модели, анализ и управление». -2016. -Выпуски 1-2. -С. 87-89.
Еще
Статья научная