05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей – специальность, включающая задачи развития теории программирования, создания и сопровождения программных средств различного назначения.

Научное и народнохозяйственное значение решения проблем данной специальности состоит в повышении эффективности и надежности процессов обработки и передачи данных и знаний в вычислительных машинах, комплексах и компьютерных сетях.

Области исследований:

1. 
   Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования.
   
2. 
   Языки программирования и системы программирования, семантика программ.
   
3. 
   Модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия программ и программных систем.
   
4. 
   Системы управления базами данных и знаний.
   
5. 
   Программные системы символьных вычислений.
   
6. 
   Операционные системы.
   
7. 
   Человеко-машинные интерфейсы; модели, методы, алгоритмы и программные средства машинной графики, визуализации, обработки изображений, систем виртуальной реальности, мультимедийного общения.
   
8. 
   Модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования.
   
9. 
   Модели, методы, алгоритмы и программная инфраструктура для организации глобально распределенной обработки данных.
   
10. 
    Оценка качества, стандартизация и сопровождение программных систем.
    

специальность не включает исследования в областях:

• 
  вычислительной математики (в том числе для параллельных вычислений);
  
• 
  создания моделей процессов обработки информации в прикладных задачах или для реализации процессов управления и целевых функций в автоматизированных системах;
  
• 
  создания методов и средств кодирования и защиты информации.
  

05.13.01

05.13.12

05.13.17

05.13.19.

• 
  физико-математические науки;
  
• 
  технические науки.