Финансовый словарь Финам.
.
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
ГОСТ Р ИСО/ТС 22600-2-2009: Информатизация здоровья. Управление полномочиями и контроль доступа. Часть 2. Формальные модели — Терминология ГОСТ Р ИСО/ТС 22600 2 2009: Информатизация здоровья. Управление полномочиями и контроль доступа. Часть 2. Формальные модели: 2.7 авторизация (authorization): Процесс предоставления прав, включая предоставление прав на доступ.… … Словарь-справочник терминов нормативно-технической документации
сертификат спецификации роли — 2.36 сертификат спецификации роли (role specification certificate): Сертификат, содержащий назначение роли полномочий. Источник: ГОСТ Р ИСО/ТС 22600 2 2009: Информатизация здоровья. Управление полномочиями и контроль доступа. Часть 2. Форма … Словарь-справочник терминов нормативно-технической документации
Спецификация программной системы — описание системы, которое полностью определяет ее цель и функциональные возможности. Различают: словесные спецификации на естественном языке; модельные спецификации; формальные спецификации. См. также: Спецификации программных систем Спецификации … Финансовый словарь
Критерии определения безопасности компьютерных систем — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Критерии определения безопасности компьютерных систем (англ. Trusted Computer System Evaluation Criteria … Википедия
Критерии оценки доверенных компьютерных систем — стандарт Министерства обороны США (англ. Department of Defense Trusted Computer System Evaliation Criteria, TCSEC, DoD 5200.28 STD, December 26, 1985), более известный под именем Оранжевая книга (англ. Orange Book ) из за цвета обложки. Данный… … Википедия
ISO/IEC 8613-10:1995 — изд.2 XJ JTC 1 Информационные технологии. Открытая архитектура обработки документов (ODA) и формой обмена. Часть 10. Формальные спецификации раздел 35.240.20 … Стандарты Международной организации по стандартизации (ИСО)
сертификат — 3.1 сертификат (certificate): Документ, выданный органом сертификации в соответствии с условиями его аккредитации и содержащий соответствующий символ или заявление об аккредитации. Источник … Словарь-справочник терминов нормативно-технической документации
Аспектно-ориентированная разработка программного обеспечения — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
