Терминология

Формализованный язык по ГОСТ 22487-77

Терминология

Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний.

Примечания

Под словами понимают конечные последовательности, составленные из исходных знаков, принятых за неделимые.
Под правильными словами (словосочетаниями) понимают слова (словосочетания), каждое из которых имеет определенное и единственное содержание (смысл).

[из 7 приложения 1 ГОСТ 22487-77]

Из ГОСТ 22487-77 Проектирование автоматизированное. Термины и определения

Формализованный ☠ Язык

⇪В 33099 💥

Открыть в новой вкладке

Формально-естественный язык по ГОСТ 22487-77

Терминология

Формализованный язык, исходным и неделимым знаком которого сопоставлены слова естественного языка, а правила построения из этих знаков конечных последовательностей соответствуют правилам грамматики естественного языка.

Примечание — В формально-естественном языке обычно выделяются следующие классы слов: слова-наименования объектов, слова, характеризующие отношения между объектами и слова, характеризующие функционирование объектов.

[из 8 приложения 1 ГОСТ 22487-77]

Из ГОСТ 22487-77 Проектирование автоматизированное. Термины и определения

Формальный ☠ Естественный ☠ Язык

⇪В 33099 💥

Открыть в новой вкладке

Формально-технические составляющие свойств данных по ГОСТ Р 51170-98

Терминология

Составляющие свойств данных, не учитывающие мотивы деятельности людей, связанные с качеством данных [из 3.1.15 ГОСТ Р 51170–98]

Из ГОСТ Р 51170-98 Качество служебной информации. Термины и определения

Данные ☠ Свойство ☠ Составляющий ☠ Технический ☠ Формальный

⇪В 17798 💥

Открыть в новой вкладке

Формальный (formal) по ГОСТ Р ИСО/МЭК 15408-1-2012

Терминология

Выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях [из 3.1.35 ГОСТ Р ИСО/МЭК 15408–1–2012]

Из ГОСТ Р ИСО/МЭК 15408-1-2012 Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 1. Введение и общая модель

Formal ☠ Формальный

⇪В 28372 💥

Открыть в новой вкладке

Формальный параметр (Formal parameter, dummy argument) по ГОСТ 28397-89

Терминология

Идентификатор, который объявляется совместно со входом в процедуру и служит для связи с соответствующим фактическим параметром [из 28 табл. 1 ГОСТ 28397—89]

Из ГОСТ 28397-89 Языки программирования. Термины и определения

Формальный ☠ Параметр ☠ Formal ☠ Parameter ☠ Dummy ☠ Argument

⇪В 34947 💥

Открыть в новой вкладке

Формат (Format) по ГОСТ Р ИСО/МЭК 2382-23-2004

Терминология

Определенная организация (или макет) текста в печатном виде или отображенной на экране форме, или записанного на носителе данных [из 23.02.06 ГОСТ Р ИСО/МЭК 2382-23-2004]

Из ГОСТ Р ИСО/МЭК 2382-23-2004 Информационная технология. Словарь. Часть 23. Обработка текста

Format ☠ Формат

⇪В 28967 💥

Открыть в новой вкладке

Формат данных (data format) по ГОСТ Р 57881-2017

Терминология

Форма представления, используемая в протоколе данных для указания способа кодирования идентификаторов объектов на радиочастотную метку и (по возможности) конкретного словаря данных со списком идентификаторов объектов, связанных с указанным приложением [из 2.4.17 ГОСТ Р 57881–2017]