Details
| Title | Метод разработки формальных контекстных требований для верификации программных систем логического управления: автореф. дис. … канд. техн. наук: 05.13.11 |
|---|---|
| Creators | Шошмина Ирина Владимировна |
| Organization | Санкт-Петербургский политехнический университет Петра Великого |
| Imprint | Санкт-Петербург, 2015 |
| Collection | Научные работы аспирантов/докторантов ; Общая коллекция |
| Subjects | Вычислительные системы — Надежность |
| UDC | 004.415.5(043.3) |
| Document type | Author's Abstract |
| File type | |
| 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 |
Работа посвящена проблеме повышения качества программных систем логического управления за счет разработки и проверки формальных требований к их поведению. Для этого автором определен класс контекстных требований, предложены методы для их выявления и формализации, разработан алгоритм их формальной проверки.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | All |
|
Access count: 718
Last 30 days: 15
