Terms for subject Programming containing формальные определения

Russian	English
для формальных определений используются теоретико-множественный и структурно-лингвистический подходы	for formal definitions the set-theoretical and graph grammar-based approaches are used
определение синтаксиса путём задания формального метаязыка	defining the syntax using a formal metalanguage (ssn)
Предлагавшиеся до сих пор формальные определения вызывали восхищение своей элегантностью и уверенность в их точности	the formal definitions put forward so far have inspired wonder at their elegance and confidence in their precision (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering)
формальное определение контекстно-свободной грамматики	formal definition of a context-free grammar (ssn)
формальное определение модульности	formal definition of the notion of modularity (ssn)
формальное определение относится только к внешним спецификациям	formal definition applies only to externals (ssn)
формальное определение правильности	formal definition of correctness (ssn)
формальные определения	formal definitions (ssn)