KZ

Инструментальные средства разработки программ

  • Цель дисциплины: объяснение роли формальной верификации для построения корректных и надежных программ, формирование базовых знаний в этой области; обучение студентов методам формальной спецификации программ (пред- и постусловия, темпоральные утверждения); обучение студентов методам формализации поведения программ (формализация семантики языков программирования, использование формальных моделей).
  • Образовательная программа 6B06103 Компьютерная инженерия
  • ВУЗ Казахский национальный университет имени аль-Фараби
  • Кредитов 5
  • Год обучения 3
  • Семестр 5
Top