KZ

Автоматизированные методы проверки программ

  • Целями освоения дисциплины «Автоматизированные методы проверки программ» являются овладение магистрантами основными понятиями в области программной инженерии, связанными с методами обеспечения качества программного обеспечения (ПО), и навыками использования методов тестирования ПО с упором на использование формализуемых моделей поведения.
  • Образовательная программа 7M06103 Computer Science
  • ВУЗ Международный университет Астана
  • Кредитов 4
  • Год обучения 2
  • Семестр 1
Top