Языковые и инструментальные средства эволюционной разработки программ на основе процедурно-параметрической парадигмы программированияEvolutionary software development using procedural-parametric programming
Соискатель:
Руководитель:
Члены комитета:
Петренко Александр Константинович (ИСП РАН, д.ф.-м.н., председатель комитета), Александров Дмитрий Владимирович (НИУ ВШЭ, д.т.н., член комитета), Водяхо Александр Иванович (СПбГЭТУ «ЛЭТИ», д.т.н., член комитета), Зуев Евгений Александрович, (Университет Иннополис, к.ф.-м.н., член комитета), Недоря Алексей Евгеньевич (Исследовательский институт им. М.В.Ломоносова, Исследовательский центр им.П.Л.Чебышева, к.ф.-м.н., член комитета)
Диссертация принята к предварительному рассмотрению:
12/25/2025
Диссертация принята к защите:
1/29/2026
Дисс. совет:
Совет по компьютерным наукам
Дата защиты:
4/17/2026
Диссертационная работа посвящена исследованию и реализации методов эволюционной разработки программ с применением процедурно-параметрической парадигмы программирования. В ходе выполнения работы предложены оригинальные подходы, обеспечивающие добавление в программы альтернативных типов данных и функций, осуществляющих их обработку, без изменения ранее написанного кода. Проведенный сравнительный анализ методов процедурно-параметрического программирования с другими используемыми подходами показывает эффективность полученных решений для различных ситуаций эволюционного расширения программ. Для создания программ с применением предлагаемых методов реализовано расширение языка программирования C, обеспечивающее поддержку процедурно-параметрического полиморфизма. Программы, написанные на данном расширении демонстрируют эффективность поддержки динамического полиморфизма. Полученные результаты имеют важное теоретическое и практическое значение в областях, связанных с созданием языков программирования и формированием новых технических приемов в разработке гибкого программного обеспечения.
Диссертация [*.pdf, 3.93 Мб] (дата размещения 2/10/2026)
Резюме [*.pdf, 363.39 Кб] (дата размещения 2/10/2026)
Summary [*.pdf, 314.04 Кб] (дата размещения 2/10/2026)
Публикации, в которых излагаются основные результаты диссертации
Evolutionary software development using procedural-parametric programming (смотреть на сайте журнала)
Использование процедур с одинаковой сигнатурой для эволюционного расширения программ (смотреть на сайте журнала)
Инструментальная поддержка эволюционного расширения программ средствами процедурно-параметрического программирования (смотреть на сайте журнала)
Эволюционная разработка многопоточных программ с применением процедурно-параметрической парадигмы программирования (смотреть на сайте журнала)
Сравнение производительности различных подходов реализации диспетчеризации для мультиметодов // Системы анализа и обработки данных (смотреть на сайте журнала)
Эволюционное расширение программ с использованием процедурно-параметрического подхода (смотреть на сайте журнала)
Расширение языка С для поддержки процедурно-параметрического полиморфизма (смотреть на сайте журнала)
Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма (смотреть на сайте журнала)
Отзывы
Отзыв научного руководителя
- Отзыв научного руководителя (дата размещения 2/2/2026)
Отзыв члена Комитета
- Петренко Александр Константинович (дата размещения 4/2/2026)
- Водяхо Александр Иванович (дата размещения 4/2/2026)
- Александров Дмитрий Владимирович (дата размещения 4/2/2026)
- Зуев Евгений Александрович (дата размещения 4/2/2026)
- Недоря Алексей Евгеньевич (дата размещения 4/2/2026)
Сведения о результатах защиты:
Комитет по диссертации рекомендовал присудить ученую степень кандидата наук (протокол № 2 от 17.04.2026). Решением диссертационного совета (протокол № 2 от 30.04.2026) присуждена ученая степень кандидата компьютерных наук.