Формальный

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

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

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

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

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

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

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

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

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

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

Подписка на Формальный