05.00.00 – ТЕХНИЧЕСКИЕ НАУКИ 79
разработка теоретических основ создания программных систем
для новых информационных технологии�;
исследования и разработка требовании� к программно-техни-
ческим средствам современных телекоммуникационных систем на
базе вычислительнои� техники.
Шифр специальности: 05.01.04 –Математическое и программ-
ное обеспечение вычислительных машин, комплексов и компьютер-
ных сетеи�
Формула специальности: «Математическое и программное
обеспечение вычислительных машин, комплексов и компьютерных
сетей» исследует теоретические основы математического програм-
мирования; процессы проектирования, анализа алгоритмов и про-
граммных средств, языков программирования, операционных сис-
тем, баз данных и знаний; программные средства, расширяющие ин-
теллектуальные возможности компьютеров и компьютерных систем
для автоматизации процессов проектирования; программные сред-
ства различного назначения в повышении эффективности и надеж-
ности процессов обработки и передачи данных в вычислительных
машинах, комплексах и компьютерных сетях.
Области исследований: модели, методы и алгоритмы проектирования и анализа про-
грамм и программных систем, их эквивалентных преобразовании�,
верификации и тестирования;
языки программирования и системы программирования, семан-
тика программ;
модели, методы, алгоритмы, языки и программные инструменты
для организации взаимодеи�ствия программ и программных систем;
системы управления базами данных и знании�;
программные системы символьных вычислении�;
операционные системы;
человеко-машинные интерфеи�сы; модели, методы, алгоритмы и
программные средства машиннои� графики, визуализации, обработ-
ки изображении�, систем виртуальнои� реальности, мультимедии�ного
общения;
модели и методы создания программ и программных систем для
параллельнои� и распределеннои� обработки данных, языки и инстру-
ментальные средства параллельного программирования;
модели, методы, алгоритмы и программная инфраструктура для
организации глобально распределеннои� обработки данных;
оценка качества, стандартизация и сопровождение программных
систем.