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