Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Рассмотрены основы процессов обеспечения качества программного обеспечения с использованием методов верификации и тестирования. Представлены наиболее распространенные на текущий момент математические модели, применяемые для формального описания требований и функционала разрабатываемых комплексов программ. Приведены примеры использования различных математических моделей и нотаций для построения формального описания программных систем. Предназначено для студентов высших технических учебных заведений, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», для студентов других специальностей, изучающих дисциплину «Технологии программирования» и «Технологии верификации программ».
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все | |||||
Интернет | Авторизованные пользователи СПбПУ | |||||
Интернет | Анонимные пользователи |
Статистика использования
Количество обращений: 47
За последние 30 дней: 0 Подробная статистика |