Что такое код верификации – что это такое и какая она бывает

Валидация (validation) — придание, подтверждение законной силы
Верификация (verification) — проверка

Зачем нужна верификация в банках, в интернете и на производстве?

Зачем нужна верификация в банках и в интернете — в соцсетях (ВК и других), ? Главная цель верификации в банках и в интернете — это борьба с мошенничеством.

Зачем нужна верификация качества продукции на производстве? Думаю, ответ очевиден. Здесь верификация нужна для получения клиентами действительно качественной продукции.

Надеюсь, статья оказалась для Вас полезной и Вы теперь знаете, что это «верификация» простыми словами.

Желаю всем много идей и радости от воплощения их в жизнь!

SMARTБЛОГ

Напоследок предлагаю посмотреть полезное видео, чтобы приобрести так нужную нам всем уверенность в себе и в своих силах:

alenakraeva.com

Что такое верификация? | Простыми словами

В современном мире существует огромное количество разных терминов, которые появляются в огромном количестве каждый год. Стоит лишь немного не уследить за новшествами в какой-либо сфере, и всё – Вас завалят словами, значения которых Вы не знаете. В данной статье разберёмся, что такое верификация, говоря простыми словами.

Слово «верификация» происходит от двух латинских слов – verus (истинный) и facere (делать). Получается, что верификация – это процесс, который делает или подтверждает истинность чего-либо. Рассмотрим термин в различных сферах:

Верификация в философии – это установление истинности тех или иных теоретических утверждений на практике. Это же касается и «верификации» в науке.

Верификация в банке – это проверка личности клиента и предоставленных им данных. Дистанционные операции (например оплата покупки в интернете при помощи банковской карты) сопровождаются верификацией, которая, как правило, представляет из себя ввод отправленного по смс на телефон кода. То есть, вы подтверждаете, что покупку совершаете именно Вы, так как в своё время Вы уже подтвердили свой номер телефона.

Верификация в интернете – это подтверждение Вашей личности при регистрации в различных системах. К примеру, в социальных сетях пользователи, которые являются знаменитостями и имеют большое количество подписчиков, имеют синюю галочку. Это означает, что пользователь доказал, что это именно он является владельцем аккаунта с соответствующим именем.

Говоря простыми словами, верификация – это подтверждение или доказательство чего-либо. Если Вы говорите, что Вас зовут Иван Иванов, то верификацией станет, например, демонстрация паспорта, а если Вы снимаете деньги в банкомате, то подтвердить своё право на снятие наличных Вы можете при помощи пин-кода.

proslo.ru

цели и принципы + примеры верификации в разных сферах

В последние годы у чиновников, спортсменов, актеров и крупных бизнесменов стало модно объявлять о переменах в своей жизни через соцсети – в Твиттере, например. Откуда аудитория узнаёт, что информация исходит именно от человека, чьим именем она подписана? Для этого существует такое понятие, как верификация. Используется она, конечно, не только для подтверждения аккаунтов соцсетях, а во многих сферах человеческой деятельности и имеет большое значение для нашей жизни. Что же такое верификация, чем она отличается от валидации, для чего нужна и что можно выяснить с ее помощью?

Что такое верификация и для чего она нужна

Верификация – это подтверждение правильности какого-либо действия, предмета или события после проверки. Термин произошел от двух латинских слов: verus («истинный») и facere («делать»). Буквально получаем – «делать что-либо истинным», «подтверждать». В переводе с английского языка понятие verification обозначает и проверку, и контроль, и засвидетельствование, и подтверждение под присягой.

Верификация используется в различных сферах – в производстве товаров и услуг, в медицине, в интернете. Верификация модели дает возможность создать качественный прототип будущего изделия. В IT-технологиях верификация применяется для подтверждения личности пользователя при работе в Сети или использовании платежных систем. С ее помощью выявляют подделки, бракованные изделия, корректируют медицинские диагнозы, регистрируются в онлайн-сервисах и соцсетях.

Верификация имеет ценность и как философская категория, а также в других областях человеческого познания, где истинные утверждения нужно отличать от ложных.

В чем состоит принцип верификации

Принцип верификации таков: предположение должно подтверждаться при помощи опыта и не противоречить известным фактам. Банк предполагает, что владелец пластиковой карты – Иванов Иван Иванович, поскольку на вставленной в банкомат карте написаны именно такие данные. А подтвержден этот факт будет тогда, когда Иван Иванович правильно введет известный только ему пин-код.

При этом предположение должно в принципе быть познаваемым. Скажем, гипотеза о том, что вокруг нас существуют невидимые люди, которых мы не можем обнаружить, поскольку они невидимы – не поддается верификации, она в принципе не познаваема при нынешнем состоянии науки. Также не верифицируются утверждения типа «Маша любит Васю», поскольку у постороннего человека нет возможности «залезть в душу» к Маше, а верификация – категория объективная. Другое дело – фраза «Маша утверждает, что любит Васю» – мы можем точно сказать, говорила Маша о любви или нет.

Цели верификации

Главная цель верификации – подтвердить соответствие итогового результата теоретическому предположению или заданию. Если разрабатывался тот или иной продукт, его свойства должны соответствовать техническим требованиям к такого рода продуктам или техзаданию на разработку.

Если требовалось подтверждение личности пользователя того или иного банковского продукта, введенный пароль должен соответствовать изначально заложенному в систему клиентом или самим банком. Если выдвинута гипотеза о каком-либо явлении в природе или человеческой деятельности, она должна как минимум не противоречить имеющимся научным фактам.

Чем верификация отличается от валидации

Термины схожи между собой, иногда их даже путают. Причина в том, что обычный человек чаще всего верификацию и валидацию использует для подтверждения личности пользователя в информационных сетях и платежных системах. В этом случае действительно разница невелика – при верификации вы получаете возможность пользоваться сервисами (допуск к ним), а при валидации – получаете больше прав при пользовании сервисами (например, становятся доступными дополнительные функции в интернет-кошельке – вывод большего объема средств, переводы на карту и т.д.). А вот в сфере производства, в медицине и в других сферах между двумя этими понятиями принципиальное различие.

Примеры верификации

В различных сферах верификация реализуется различными способами.

Верификация в производстве

Когда продукция выпущена, она должна пройти проверку на соответствие требуемым параметрам, стандартам, нормам и правилам. Верификацией занимается либо отдел технического контроля (ОТК), либо сотрудники, которым переданы такие обязанности.

Продукт проверяется на соответствие государственным или отраслевым стандартам, техусловиям, проекту, нормативной документации.

Пример

Например, на производстве выпускается электрический чайник. Сотрудники отдела контроля качества сверяют с проектной документацией физические параметры изделия, комплектность, соответствие требованиям электробезопасности и технические характеристики (соответствие потребляемой мощности параметрам, указанным в документах) и так далее. Чаще всего верификации подвергают не всю партию товара, а несколько экземпляров на выбор. Результат закрепляется регистрационной записью в специальном журнале. Это в идеале. На практике в небольших производственных компаниях процедура верификации может быть упрощена до визуального осмотра.

Также к верификации на производстве относится проверка на соответствие процессов компании системе менеджмента качества (стандарты ИСО). Здесь проверяется не только готовая продукция, но и производственные процессы – насколько их технологические и экологические параметры соответствуют международным нормам для такого рода процедур. Если не полностью соответствуют, то и конечный продукт получает менее высокую оценку, не проходит верификацию.

Верификация в медицине

В этой сфере есть два направления верификации. Первое пересекается с проверкой на производстве. Когда выпускается новый лекарственный препарат, производитель на выходе проверяет, соответствует ли его химический состав и формула тем, которые были переданы на предприятие в техническом задании.

Второе направление – верификация диагноза. Она проводится, если лечение не дает нужного результата. Если курс был назначен терапевтом или иным врачом, верифицировать диагноз может зав.отделением, главврач медучреждения или консилиум врачей. Проверяются как документальные источники (результаты анализов и исследований), так и непосредственно действия и назначения терапевта – соответствуют ли они тем, которые должны проводиться при заболевании, указанном в диагнозе. При необходимости назначаются новые, дополнительные исследования. Например, гистологическая верификация – это подтверждение существования опухоли при помощи исследования взятых у пациента тканей организма.

Верификация в интернет-технологиях

Здесь также есть несколько направлений.

1. Верификация пользователя – проверяется соответствие вошедшего в систему пользователя владельцу аккаунта. Например, так верифицируются страницы знаменитостей в соцсетях. Чтобы получить «галочку» ВКонтакте, означающую, что страница принадлежит действительно известному актеру или политику, нужно представить администрации соцсети набор документов и фото со своим паспортом либо другой вариант подтверждения (у разных соцсетей различные требования).
2. Верификация программного обеспечения – аналогична верификации любого произведенного продукта. После разработки ПО оно тестируется на соответствие техзаданию. Продукт должен содержать все составные части, требуемые заказчиком, и запускаться при нажатии. Насколько при этом продукт соответствует целям заказчика – вопрос не верификации, а валидации. Если программный калькулятор выглядит как калькулятор, запускается как калькулятор, соответствует требованиям заказчика к калькулятору, то он верифицирован. А вот если при этом созданное ПО не выполняет расчеты, нужные заказчику, или содержит ошибки в таких расчетах – значит, калькулятор не валидизирован. Подробнее о разнице между понятиями верификации и валидизации читайте выше в соответствующей главе.
3. Верификация сайта – подтверждение, что интернет-ресурс создан с серьезными намерениями, а не как «двойник» для совершения мошенничества или других столь же малопривлекательных целей. Лишь реальный сайт будет учитываться поисковыми системами. Также верификация требуется, если есть подозрение, что ресурс украден у его владельца. К примеру, Яндекс в качестве доказательств требует мета-теги, DNS и файл HTML.
4. Верификация электронной цифровой подписи (ЭЦП) – подтверждение права подписывать электронные документы. ЭЦП выдается в специальных удостоверяющих центрах, и главная задача верификации – проверить, подходит ли она для тех или иных видов электронных торгов (соответствует ли требованиям электронных торговых площадок). Также проверяется, актуализированы ли сведения о лице, владеющем ЭЦП. Если вы заказывали цифровую подпись на компанию, данные о которой с тех пор изменились в ЕГРЮЛ, это может сделать ЭЦП недействительной. Специальные верификационные сервисы в интернете позволяют проверить правильность сведений.

Верификация в банках и платежных системах

Это, по сути, та же верификация пользователей. Вы подтверждаете, что являетесь владельцем карты, которая вставлена в банкомат или терминал оплаты. В случае с платежными системами (Яндекс.Деньги, WebMoney и другими) вы валидизируете свой кошелек, отправляя удостоверяющие вашу личность сканы документов администрации платежной системы и в зависимости от пакета документов получая доступ к различным функциям кошелька, а затем при каждом входе верифицируете себя в качестве владельца при помощи пароля.

Аналогичная процедура – если вы решили привязать карту к кошельку в платежной системе. Здесь вы верифицируете себя как владельца карты и ассоциируете карту с кошельком.

Верификация в философии и науке

В философии верификация – спорное понятие, вокруг которого сломано много копий. По общему правилу, под этим термином понимают выяснение истинности теоретических положений при помощи их практической проверки. Как уже говорилось в главе «В чем состоит принцип верификации», главным критерием является познаваемость, соответствие современным научным представлениям о мире. Когда мы говорим: «Люди не летают как птицы» – это истинное, верифицированное утверждение, поскольку законы физики не позволяют человеку летать аналогично пернатым. А вот утверждение «Самолет не может лететь со скоростью 10000 км/ч» не будет истинным, поскольку развитие техники может решить данную задачу, объективных препятствий к этому нет.

Это самые простые примеры, на деле же верифицируются целые философские концепции, объясняющие поведение широких масс людей, происхождение жизни на земле и так далее. Загвоздка в том, что такая верификация рациональна, она не учитывает метафизических концепций. Например, религии в таком ракурсе всегда оказываются неверифицированными, что для последователей духовных учений несколько обидно. Поэтому наряду с принципом верификации в философию ввели принцип фальсификации (опровержимости). Вы можете опровергнуть существование Бога? Вряд ли. Значит, эта категория получает право на существование наряду с рациональными концепциями.

Верификация в науке подразумевает выяснение, насколько выдвинутая гипотеза соответствует полученному практическому результату.

Ответы на часто задаваемые вопросы

Что значит «платеж не прошел стадию верификации»?

Это так называемая «ошибка 11020». Чаще всего встречается, когда покупку в интернет-магазине оплачивают банковской картой. В банках называют две причины возникновения такой ошибки:

1. Покупатель неправильно или не полностью ввел запрашиваемые платежной системой данные.
2. На защищенной линии банка, куда передаются сведения от покупателя, произошел технический сбой, и данные не были прочитаны должным образом.

Решается проблема через повторную отправку платежа в более позднее время либо звонком в службу поддержки.

При включении компьютер предлагает верифицировать файлы. Что это за процедура и для чего она нужна?

Верификация файлов – один из способов обеспечения безопасности в операционных системах. Нередко вирусы подменяют реальные файлы другими – с иным размером и предназначением, но с прежним названием. Проверка файловой системы позволяет вычислить такие псевдофайлы и удалить их. Такого рода верификацию рекомендуется проводить, если вы часто работаете в незнакомых сетях, используете чужие файлы или у вас проблемы с антивирусным программным обеспечением.

Можно ли использовать принцип верификации для распознавания лжи в бытовом общении?

На эту тему существует обширная литература, например, «5 принципов определения лжи» Ильи Анищенко, «Психология лжи» Пола Экмана, «Детекция лжи и обмана» и «Ложь: три способа выявления» Олдерта Фрая, «Я вижу, о чем вы думаете» Джо Наварро и многие другие. В них содержится много интересных советов, однако достоверных методик, позволяющих гарантированно отличать правду от лжи, не существует.

Принцип верификации заключается в том, что истинное высказывание должно подтверждаться практикой или хотя бы не противоречить известным фактам. Но в быту очень сложно сопоставить слова человека со всеми известными фактами, на такое способны очень немногие люди, и преимущественно в какой-либо узкой области знаний. Выявить обман «на лету» сложно даже для подготовленных специалистов. Это касается как инструментальных технологий («детектор лжи»), так и психологических («когда человек лжет, он смотрит влево и вверх») или логических («оппонент вспотел – значит, напряжен, а всё потому что врёт») методик. Слишком велик процент ошибок и неучтенных случайностей. Среди них – приписывание другим людям собственных эмоций и мотивов, недоучет индивидуальных психологических особенностей, влияние посторонних факторов (опасность, шумовое, световое воздействие, стресс и т.д.), подсказка ответа с вашей стороны, оценка мотивов собеседника по единственному признаку и другие.

Заключение

Верификация – важный процесс для человеческого общества. Она позволяет выявить технологические нарушения в сфере производства, скорректировать диагноз врача, отладить программное обеспечение, отличить владельца интернет-аккаунта от постороннего человека, а мошенника от законопослушного владельца банковской карты или кошелька в платежной системе.

Суть верификации – в сравнении результата с изначальными требованиями или существующими стандартами. Это формальный и объективный процесс, он не зависит от желания конкретного человека. Вы можете сколько угодно умолять оператора банка выдать вам деньги с карты, а он может как угодно вам сочувствовать, но если неправильно введен пин-код, верификация не пройдена, и банк не считает вас владельцем карты. Таблетка может быть очень похожа на дорогое лекарство, но если ее химический состав хоть чуть-чуть отличается, или она не прошла клинических испытаний, врач не вправе назначать ее как аналог.

Верификацию нужно отличать от валидации, особенно в производственной сфере. Верифицирует выпущенный продукт производитель – сравнивает его с техзаданием. А валидизирует уже заказчик – проверяет, насколько подходит изделие для использования в конкретных условиях. И если верификация допускает лишь два варианта (да или нет), то у валидизации есть еще и вариант «при условии». Женские туфли либо соответствуют стандарту для готовой продукции, принятому на фабрике, либо нет (верификация). А использовать их можно и зимой – но лишь при условии недолгого передвижения от дверей офиса до автомобиля (валидизация).

Верификация как философское понятие позволяет человеку расширять познание мира, отличая прогрессивные концепции от тупиковых. Однако возводить принцип верификации в абсолют – «ложно всё, что не познаваемо» – значит ограничивать развитие человечества.

Обычный же человек чаще всего сталкивается с верификацией в интернете, где нужно подтвердить свою личность, и в платежных системах, где требуется ввести пин-код или верификационный код.

Видео на десерт: Эту сокровищницу не могли найти в течении 224 лет

Если вы нашли ошибку, пожалуйста, выделите фрагмент текста мышкой и нажмите Ctrl+Enter.

Поставь оценку статье

myrouble.ru

что это и как объясняется простыми словами? Как понять, что страница верифицирована

Очень часто путают два понятия валидация и верификация. Кроме того, часто путают валидацию требований к системе с валидацией самой системы. Я предлагаю разобраться в этом вопросе.

В статье «Моделирование объекта как целого и как композиции» я рассмотрел два подхода к моделированию объекта: как целого и как конструкции. В текущей статье нам это деление понадобится.

Пусть у нас есть проектируемый функциональный объект. Пусть этот объект рассматривается нами как часть конструкции другого функционального Объекта. Пусть есть описание конструкции Объекта, такое, что в нем присутствует описание объекта. В таком описании объект имеет описание как целого, то есть, описаны его интерфейсы взаимодействия с другими объектами в рамках конструкции Объекта. Пусть дано описание объекта как конструкции. Пусть есть информационный объект, содержащий требования к оформлению описания объекта как конструкции. Пусть есть свод знаний, который содержит правила вывода, на основании которых из описания объекта как целого получается описание объекта как конструкции. Свод знаний – это то, чему учат конструкторов в институтах – много, очень много знаний. Они позволяют на основе знанию об объекте спроектировать его конструкцию.

Итак, можно начинать. Мы можем утверждать, что если правильно описан объект как целое, если свод знаний верен, и если правила вывода были соблюдены, то полученное описание конструкции объекта, будет верным. То есть, на основе этого описания будет построен функциональный объект, соответствующий реальным условиям эксплуатации. Какие могут возникнуть риски:

1. Использование неправильных знаний об Объекте. Модель Объекта в головах у людей может не соответствовать реальности. Не знали реальной опасности землетрясений, например. Соответственно, могут быть неправильно сформулированы требования к объекту.

2. Неполная запись знаний об Объекте – что-то пропущено, сделаны ошибки. Например, знали о ветрах, но забыли упомянуть. Это может привести к недостаточно полному описанию требований к объекту.

3. Неверный свод знаний. Нас учили приоритету массы над остальными параметрами, а оказалось, что надо было наращивать скорость.

4. Неправильное применение правил вывода к описанию объекта. Логические ошибки, что-то пропущено в требованиях к конструкции объекта, нарушена трассировка требований.

5. Неполная запись полученных выводов о конструкции системы. Все учли, все рассчитали, но забыли написать.

6. Созданная система не соответствует описанию.

Понятно, что все артефакты проекта появляются, как правило, в завершенном своем виде только к концу проекта и то не всегда. Но, если предположить, что разработка водопадная, то риски такие, как я описал. Проверка каждого риска – это определенная операция, которой можно дать название. Если кому интересно, можно попытаться придумать и озвучить эти термины.

Что такое верификация? По-русски, верификация – это проверка на соответствие правилам. Правила оформляются в виде документа. То есть, должен быть документ с требованиями к документации. Если документация соответствует требованиям этого документа, то она прошла верификацию.

Что есть валидация? По-русски валидация – это проверка правильности выводов. То есть, должен быть свод знаний, в котором описано, как получить описание конструкции на основе данных об объекте. Проверка правильности применения этих выводов – есть валидация. Валидация — это в том числе проверка описания на непротиворечивость, полноту и понятность.

Часто валидацию требований путают с валидацией продукта, построенного на основе этих требований. Так делать не стоит.

Несмотря на кажущуюся схожесть, термины «тестирование», «верификация» и «валидация» означают разные уровни проверки корректности работы программной системы. Дабы избежать дальнейшей путаницы, четко определим эти понятия.

Тестирование программного обеспечения — вид деятельности в процессе разработки, связанный с выполнением процедур, направленных на обнаружение (доказательство наличия) ошибок (несоответствий, неполноты, двусмысленностей и т.д.) в текущем определении разрабатываемой программной системы. Процесс тестирования относится в первую очередь к проверке корректности программной реализации системы, соответствия реализации требованиям, т.е. тестирование — это управляемое выполнение программы с целью обнаружения несоответствий ее поведения и требований.

Рис. 1 Тестирование, верификация и валидация

Верификация программного обеспечения — более общее понятие, чем тестирование. Целью верификации является достижение гарантии того, что верифицируемый объект (требования или программный код) соответствует требованиям, реализован без непредусмотренных фун-к-ций и удовлетворяет проектным спецификациям и стандартам. Процесс вери-фи-ка-ции включает в себя инспекции, тестирование кода, анализ результатов тестирования, формирование и анализ отчетов о проблемах. Таким образом, принято считать, что процесс тестирования является составной частью процесса верификации, такое же допущение сделано и в данном учебном курсе.

Валидация программной системы — процесс, целью которого является доказательство того, что в результате разработки системы мы достигли тех целей, которые планировали достичь благодаря ее использованию. Иными словами, валидация — это проверка соответствия системы ожиданиям заказчика. Вопросы, связанные с валидацией выход

erfa.ru

верификация кода — это… Что такое верификация кода?

верификация кода

 

верификация кода
Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям.
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

• энергетика в целом

Справочник технического переводчика. – Интент. 2009-2013.

• верификация и подтверждение правильности
• верификация модели

Смотреть что такое «верификация кода» в других словарях:

• верификация (проверка) — 1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы… …   Справочник технического переводчика

• верификация (штрихового кода) — Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу. [ГОСТ 30721 2000] [ГОСТ Р 51294.3 99] Тематики кодирование штриховое EN verification DE… …   Справочник технического переводчика

• верификация (штрихового кода) — Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу Источник: ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и о …   Словарь-справочник терминов нормативно-технической документации

• верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник …   Словарь-справочник терминов нормативно-технической документации

• Статический анализ кода — (англ. static code analysis)  анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ, называется динамический анализ кода). В большинстве случаев анализ… …   Википедия

• ГОСТ 30721-2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения — Терминология ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения оригинал документа: (n, k) символика : Класс символик штрихового кода, в которых ширина каждого знака символа представлена в n модулях, а сам …   Словарь-справочник терминов нормативно-технической документации

• Валидация — (Validation) Содержание Содержание 1. ISO 2. Чем отличается валидация от верификации? 3. Валидация документов 4. Валидация XML и XHTML 5. GMP валидация 6. Что такое валидация ИПДО? Валидация – это придание законной силы, утверждение,… …   Энциклопедия инвестора

• ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) — Терминология ГОСТ Р ИСО/МЭК 19762 2 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа: 04.02.13 ( n, k)… …   Словарь-справочник терминов нормативно-технической документации

• ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… …   Словарь-справочник терминов нормативно-технической документации

• Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

technical_translator_dictionary.academic.ru