KZ

Теория и спецификации программирования

  • Изучаемые вопросы: планирование и проектирование реальных компьютерных систем с применением современных методов спецификации и верификации программ; рассмотрение объектного моделирования программ. Формируемые компетенции: владение методами формальных спецификаций, способствующих профессиональному росту, формируя навыки решения производственных и научных задач; знание современных языков спецификаций, семантики и синтаксиса языков, объектно-ориентированных спецификаций в программировании.
  • Образовательная программа 7M06103 Информатика и компьютерные науки
  • ВУЗ Университет «Мирас»
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top