Алгоритм построения описания логической схемы программы по ее тексту
Автор: Марковский Алексей Сергеевич, Петров Василий Владимирович, Бурова Ирина Олеговна
Рубрика: Информатика и вычислительная техника
Статья в выпуске: 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.
Статья научная