KZ

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

  • Цель курса: предоставить знания и понимание инструментов и методов, которые поддерживают строгую разработку программного обеспечения. Курс посвящен задачам проектирования и моделирования безопасных и защищенных программных систем. Он охватывает ряд строгих процессов и формальных методов, которые поддерживают разработку программных систем с высокой целостностью. От моделирования и рассуждений о проектах до написания кода студенты познакомятся с рядом современных инструментов и методов статического анализа.
  • Образовательная программа 6B06107 Компьютерная инженерия (РК+UK)
  • ВУЗ Актюбинский региональный университет имени Кудайбергена Жубанова
  • Кредитов 5
  • Год обучения 4
  • Семестр 7
Top