Детальная информация
| Название | Введение в технологии верификации: учебно-методическое пособие |
|---|---|
| Авторы | Дробинцев Павел Дмитриевич |
| Организация | Санкт-Петербургский политехнический университет Петра Великого |
| Выходные сведения | Санкт-Петербург: Изд-во Политехн. ун-та, 2016 |
| Электронная публикация | Санкт-Петербург, 2017 |
| Коллекция | Учебная и учебно-методическая литература ; Общая коллекция |
| Тематика | Вычислительные системы — Математическое обеспечение ; Вычислительные системы — Программирование ; верификация |
| УДК | 004.415.5(075.8) |
| Тип документа | Учебник |
| Тип файла | |
| Язык | Русский |
| DOI | 10.18720/SPBPU/2/i17-32 |
| Права доступа | Доступ по паролю из сети Интернет (чтение, печать) |
| Ключ записи | RU\SPSTU\edoc\38689 |
| Дата создания записи | 20.04.2017 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
Рассмотрены основы процессов обеспечения качества программного обеспечения с использованием методов верификации и тестирования. Представлены наиболее распространенные на текущий момент математические модели, применяемые для формального описания требований и функционала разрабатываемых комплексов программ. Приведены примеры использования различных математических моделей и нотаций для построения формального описания программных систем. Предназначено для студентов высших технических учебных заведений, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», для студентов других специальностей, изучающих дисциплину «Технологии программирования» и «Технологии верификации программ».
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
Количество обращений: 52
За последние 30 дней: 0
