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

Шошмина, Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления [Электронный ресурс]: автореф. дис. … канд. техн. наук: 05.13.11 / Шошмина Ирина Владимировна; Санкт-Петербургский политехнический университет Петра Великого. — Электрон. текстовые дан. (1 файл : 355 Кб). — Санкт-Петербург, 2015. — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5616.pdf>.

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

Тематика: Вычислительные системы — Надежность

УДК: 004.415.5(043.3)

Коллекции: Научные работы аспирантов/докторантов; Общая коллекция

Разрешенные действия: Прочитать Загрузить (355 Кб) Для чтения документа необходим Flash Player

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

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

Аннотация

Работа посвящена проблеме повышения качества программных систем логического управления за счет разработки и проверки формальных требований к их поведению. Для этого автором определен класс контекстных требований, предложены методы для их выявления и формализации, разработан алгоритм их формальной проверки.

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

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

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

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