KZ

Формальные методы разработки программного обеспечения

  • Цель программы - подготовка докторантов, специализирующихся по вопросам разработки методов, технологий и инструментов поддержки жизненного цикла программ, включая сбор и анализ требований, моделирование и проектирование программ, особенности современных технологий разработки программ, их тестирование и верификацию. Программа предусматривает освоение методов объектно-ориентированного анализа и проектирования, методов аналитической верификации программ и верификации программ на их моделях, анализа производительности и функционирования программ, а также методов поиска ошибок и тестирования.
  • Образовательная программа 8D06101 Вычислительная техника и программное обеспечение
  • ВУЗ Международный университет Астана
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top