KZ

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

  • В процессе изучения дисциплины происходит знакомство с современными подходами моделирования компьютерных систем, с современными методами спецификации, анализа и верификации программ. Осуществляется практическое применение инструментальных средств формального моделирования программ, делается обзор и анализ современных методов спецификаций, диаграмм потока данных, автоматов с конечным набором состояний, Петри сети, диаграмм "объекты - отношения" (EntityRelationship Diagram), а также выбор языка спецификаций. Изучаются формальные методы в программировании, язык логики предикатов, интерпретации, метод Хоара, операторные схемы, правила вывода метода Флойда, язык формальной спецификации VDM-SL, методы верификации программ, функции, спецификации, синтаксис, операции VDM-SL
  • Образовательная программа 7M01507 Информатика
  • ВУЗ Шымкентский университет
  • Кредитов 5
  • Год обучения 2
  • Семестр 1
Top