• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Языковые и инструментальные средства эволюционной разработки программ на основе процедурно-параметрической парадигмы программирования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 от 17.04.2026). Решением диссертационного совета (протокол № 2 от 30.04.2026) присуждена ученая степень кандидата компьютерных наук.