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

Код:

 05.13.11

Формула специальности:

 

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


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

 

  • Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования.
  • Языки программирования и системы программирования, семантика программ.
  • Модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия программ и программных систем.
  • Системы управления базами данных и знаний.
  • Программные системы символьных вычислений.
  • Операционные системы.
  • Человеко-машинные интерфейсы; модели, методы, алгоритмы и программные средства машинной графики, визуализации, обработки изображений, систем виртуальной реальности, мультимедийного общения.
  • Модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования.
  • Модели, методы, алгоритмы и программная инфраструктура для организации глобально распределенной обработки данных.
  • Оценка качества, стандартизация и сопровождение программных систем


Подготовка Аспирантов:

 Да

Подготовка Докторантов:

 Да

Паспорт специальности:

 Загрузить


Назад в раздел