Details

Дробинцев, Павел Дмитриевич. Введение в технологии верификации [Электронный ресурс]: учебно-методическое пособие / П. Д. Дробинцев; Санкт-Петербургский политехнический университет Петра Великого. — Электрон. текстовые дан. (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>.

Record create date: 4/20/2017

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

UDC: 004.415.5(075.8)

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

Links: DOI

Allowed Actions:

Action 'Read' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
FL SPbPU Local Network All Read Print
Internet FL readers Read Print
-> Internet Anonymous

Document usage statistics

stat Document access count: 0
Last 30 days: 0
Detailed usage statistics