Свидетельство о регистрации СМИ: ЭЛ № ФС77-79395 от 02.11.2020 ISSN: 2782-1528 DOI 10.34660/c0727-6092-6372-a
Антивирус — программа, обнаруживающая или обнаруживающая и удаляющая вирусы. Если вирус удалить не, удается, то зараженная программа уничтожается. [Словарь терминов по информационной безопасности. (Электронный ресурс).
Верификатор автоматический (Mechanical verifier) — схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [Домарева В.В. «Безопасность информационных технологий. Системный подход» —
Управление разработкой программных систем (software management) – деятельность, направленная на обеспечение необходимых условий для работы коллектива разработчиков программного обеспечения, на планирование и контроль деятельности этого коллектива
Устойчивость программного обеспечения – свойство осуществлять требуемое преобразование информации при сохранении выходных решений программы в пределах допусков, установленных спецификацией при воздействии на программы таких факторов
Анализ функциональный – рассмотрение объекта как комплекса выполняемых им функций. [Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. Факультет электроники и вычислительной
CASE-средства — это программные средства, поддерживающие процессы создания и сопровождения программных продуктов, включая анализ и формулировку требований, проектирование продукта и баз данных, генерацию кода, тестирование, документирование,
CASE-технология (Computer Aided Software Engineering) – технология, представляющая собой методологию проектирования АС, а также набор инструментальных средств, позволяющих в наглядной форме моделировать предметную область, анализировать эту
СОМ (Component Object Model) (модель компонентных объектов) – спецификация метода создания компонентов и построения из них программ. [Камаев В. А., Костерин В. В. Основные термины и
Бета-тестирование — это фаза общего тестирования, при которой программное изделие поставляется ограниченному кругу конечных пользователей для более жесткого тестирования. [Камаев В. А., Костерин В. В. Основные
Аттестация (certification) – авторитетное подтверждение правильности программы. [Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. Факультет электроники и вычислительной техники (ФЭВТ) (ВолгГТУ).