Открытая электронная библиотека научно-образовательных ресурсов Оренбуржья
Проект выполнен при поддержке Правительства Оренбургской области, Оренбургского регионального отделения Партии «Единая Россия» и Министерства образования Оренбургской области
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elib.osu.ru/handle/123456789/11971| Название: | Верификация моделей программного обеспечения : методические указания для обучающихся по образовательным программам высшего образования по направлениям подготовки 09.04.04 Программная инженерия, 09.04.01 Информатика и вычислительная техника |
| Авторы: | Зубкова, Т. М. |
| Ключевые слова: | вычислительная техника программное обеспечение автоматизированные системы методические указания |
| Дата публикации: | 2019 |
| Издатель: | ОГУ |
| Аннотация: | Методические указания для выполнения практических и лабораторных работ по дисциплине «Методы верификации моделей программного обеспечения» предназначены для оказания помощи студентам при выполнении индивидуальных заданий. Данная дисциплина входит в вариативную часть обязательных дисциплин магистрантов очной формы обучения по направлению подготовки 09.04.04 Программная инженерия с профилем подготовки «Разработка программно-информационных систем» и 09.04.01 Информатика и вычислительная техника с профилем подготовки «Информационное и программное обеспечение автоматизированных систем» по типу образовательной программы «Программа академической магистратуры». В методических указаниях изложены задания, теоретические основы для их выполнения |
| URI: | http://elib.osu.ru/handle/123456789/11971 |
| Располагается в коллекциях: | Учебники, учебные пособия |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 94598_20190527.pdf | 563,18 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.