Details

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 Свободный доступ из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\28253
Record create date 10/9/2015

Allowed Actions

Read Download (355 Kb)

Group Anonymous
Network Internet

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All

Access count: 645 
Last 30 days: 14

Detailed usage statistics