Детальная информация

Дробинцев, Павел Дмитриевич. Введение в технологии верификации [Электронный ресурс]: учебно-методическое пособие / П. Д. Дробинцев; Санкт-Петербургский политехнический университет Петра Великого. — Электрон. текстовые дан. (1 файл : 1,58 Кб). — Санкт-Петербург: Изд-во Политехн. ун-та, 2016 (Санкт-Петербург, 2017). — Загл. с титул. экрана. — Электронная копия печатной публикации 2016 г. — Доступ по паролю из сети Интернет (чтение, печать). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/i17-32.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/i17-32>.

Дата создания записи: 20.04.2017

Тематика: Вычислительные системы — Математическое обеспечение; Вычислительные системы — Программирование; верификация

УДК: 004.415.5(075.8)

Коллекции: Учебная и учебно-методическая литература; Общая коллекция

Ссылки: DOI

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Рассмотрены основы процессов обеспечения качества программного обеспечения с использованием методов верификации и тестирования. Представлены наиболее распространенные на текущий момент математические модели, применяемые для формального описания требований и функционала разрабатываемых комплексов программ. Приведены примеры использования различных математических моделей и нотаций для построения формального описания программных систем. Предназначено для студентов высших технических учебных заведений, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», для студентов других специальностей, изучающих дисциплину «Технологии программирования» и «Технологии верификации программ».

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать
Интернет Читатели ИБК Прочитать Печать
-> Интернет Анонимные пользователи

Статистика использования документа

stat Количество обращений: 2
За последние 30 дней: 0
Подробная статистика