Формула специальности
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей –
специальность, включающая задачи развития теории программирования, создания и сопровождения
программных средств различного назначения.
Научное и народнохозяйственное значение решения проблем данной специальности состоит в повышении
эффективности и надежности процессов обработки и передачи данных и знаний в вычислительных машинах,
комплексах и компьютерных сетях.
Области исследований:
- Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их
эквивалентных преобразований, верификации и тестирования.
- Языки программирования и системы программирования, семантика программ.
- Модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия
программ и программных систем.
- Системы управления базами данных и знаний.
- Программные системы символьных вычислений.
- Операционные системы.
- Человеко-машинные интерфейсы; модели, методы, алгоритмы и программные средства машинной
графики, визуализации, обработки изображений, систем виртуальной реальности, мультимедийного
общения.
- Модели и методы создания программ и программных систем для параллельной и распределенной
обработки данных, языки и инструментальные средства параллельного программирования.
- Модели, методы, алгоритмы и программная инфраструктура для организации глобально распределенной
обработки данных.
- Оценка качества, стандартизация и сопровождение программных систем.
Примечание
Специальность не включает исследования в областях:
- вычислительной математики (в том числе для параллельных вычислений);
- создания моделей процессов обработки информации в прикладных задачах или для реализации
процессов управления и целевых функций в автоматизированных системах;
- создания методов и средств кодирования и защиты информации.
Эти исследования включены в специальности:
05.13.01,
05.13.06, 05.13.12, 05.13.15, 05.13.17,
05.13.18, 05.13.19.
Отрасль наук:
- физико-математические науки
- технические науки