| Таблица | Карточка | RUSMARC | |
|
|
Разрешенные действия: Прочитать Загрузить (355 Кб) Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Работа посвящена проблеме повышения качества программных систем логического управления за счет разработки и проверки формальных требований к их поведению. Для этого автором определен класс контекстных требований, предложены методы для их выявления и формализации, разработан алгоритм их формальной проверки.
Права на использование объекта хранения
| Место доступа | Группа пользователей | Действие | ||||
|---|---|---|---|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
||||
|
Интернет | Все |
|
Статистика использования
|
|
Количество обращений: 527
За последние 30 дней: 7 Подробная статистика |