?
С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

Details
Table Card RUSMARC
Title: Метод разработки формальных контекстных требований для верификации программных систем логического управления: автореф. дис. … канд. техн. наук: 05.13.11
Creators: Шошмина Ирина Владимировна
Organization: Санкт-Петербургский политехнический университет Петра Великого
Imprint: Санкт-Петербург, 2015
Collection: Научные работы аспирантов/докторантов; Общая коллекция
Subjects: Вычислительные системы — Надежность
UDC: 004.415.5(043.3)
Document type: Author's Abstract
File type: PDF
Language: Russian
Speciality code (OKSVNK): 05.13.11
Speciality group (OKSVNK): 050000 - Технические науки
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)

Allowed Actions: Read

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

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users Read Print Download
-> Internet Anonymous Read

Usage statistics

stat Access count: 303
Last 30 days: 2
Detailed usage statistics