Верификация моделей программного обеспечения : методические указания для обучающихся по образовательным программам высшего образования по направлениям подготовки 09.04.04 Программная инженерия, 09.04.01 Информатика и вычислительная техника

Abstract

Методические указания для выполнения практических и лабораторных работ по дисциплине «Методы верификации моделей программного обеспечения» предназначены для оказания помощи студентам при выполнении индивидуальных заданий. Данная дисциплина входит в вариативную часть обязательных дисциплин магистрантов очной формы обучения по направлению подготовки 09.04.04 Программная инженерия с профилем подготовки «Разработка программно-информационных систем» и 09.04.01 Информатика и вычислительная техника с профилем подготовки «Информационное и программное обеспечение автоматизированных систем» по типу образовательной программы «Программа академической магистратуры». В методических указаниях изложены задания, теоретические основы для их выполнения