KZ

Верификация и анализ программ

  • Дисциплина направлена на формирование теоретических базовых знаний, необходимых для обеспечения процессов верификации жизненного цикла программного обеспечения и практических навыков в области применения средств поддержки принятия решений на этапе верификации. Магистранты изучат методы проверки, доказательства корректности программ на различных этапах жизненного цикла, тестирования. А так же изучат математические модели, используемые для анализа и прогнозирования надежности программ. В результате обучения обучающиеся будут владеть необходимыми навыками и знаниями работать с информацией в условиях неопределенности, избыточности и недостаточности исходных данных.
  • Образовательная программа 7M06103 Информационные технологии и робототехника
  • ВУЗ Костанайский региональный университет имени Ахмет Байтұрсынұлы
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top