Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing formals | all forms
EnglishRussian
formal analysis supportподдержка формального анализа исходного кода (Alex_Odeychuk)
formal and non-formal representation of callформальное и неформальное представление вызова (ssn)
formal and rigorous mannerформальная и строгая форма (ssn)
formal architecture inspectionsформальные инспекции архитектуры (ssn)
formal assertionформальное высказывание (ssn)
formal check-in procedureформальная процедура регистрации кода (ssn)
formal code inspectionsформальные инспекции кода (ssn)
formal definitionформализованное определение (ssn)
formal definitionформальное описание (ssn)
formal definition applies only to externalsформальное определение относится только к внешним спецификациям (ssn)
formal definition of a context-free grammarформальное определение контекстно-свободной грамматики (ssn)
formal definition of correctnessформальное определение правильности (ssn)
formal definition of how the application operatesформальное описание того, как работает приложение (ssn)
formal definition of the notion of modularityформальное определение модульности (ssn)
formal definitionsформальные определения (ssn)
formal deployment procedureформальная процедура внедрения (ssn)
formal design paradigmпарадигма система понятий формального проекта (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn)
formal detailed designформальное детальное проектирование (ssn)
formal development of the systemформальное построение системы (ssn)
formal domain specific languagesформальные специфичные для домена языки (ssn)
formal examinationформальное знакомство (ssn)
formal examination of building class types with C#формальное знакомство с построением типов классов в C# (ssn)
formal generic declarationобъявление формального параметра настройки (ssn)
formal generic declaration in an entity declarationобъявление формального параметра настройки в объявлении объекта (ssn)
formal linguisticsформальная лингвистика (ssn)
formal logical systemформальная логическая система (ssn)
formal logical systemsформальные логические системы (ssn)
formal mathematical proofформальное математическое доказательство (ssn)
formal method verification toolsetкомплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk)
formal methodsформальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn)
formal methods and critical systemsформальные методы и критические системы (ssn)
formal methods conceptsконцепции формальных методов (ssn)
formal model and specificationформальная модель и спецификация (InfoWorld Alex_Odeychuk)
formal notationформальная нотация (корпорации AdaCore Alex_Odeychuk)
formal notationформальные обозначения (ssn)
formal notionформальное понятие (ssn)
formal notion of a finite automatonформальное понятие конечного автомата (ssn)
formal parameter declarationобъявление формального параметра (ssn)
formal parameter declaration in a subprogram declarationобъявление формального параметра в объявлении подпрограммы (ssn)
formal parameter listперечень формальных параметров (ssn)
formal parameter listсписок формальных параметров (ssn)
formal parameter nameимя формального параметра (ssn)
formal parameter namesимена формальных параметров (ssn)
formal parametersформальные параметры (ssn)
formal parameters for a functionформальные параметры функции (ssn)
formal parameters of subprogramsформальные параметры подпрограмм (ssn)
formal port declarationобъявление формального порта (ssn)
formal port declaration in an entity declarationобъявление формального порта в объявлении объекта (ssn)
formal portsформальные порты (ssn)
formal proof of correctnessформальное доказательство корректности (корпорации AdaCore Alex_Odeychuk)
formal propertiesформальные свойства (ssn)
formal properties of languagesформальные свойства языков (ssn)
formal proverинструмент формальной верификации кода (Electronic Design Alex_Odeychuk)
formal representation of callформальное представление вызова (ssn)
formal reviewформальное рецензирование (см. Standard glossary of terms used in Software Testing ssn)
formal semanticsмодель программы (модель, построенная с помощью анализа исходного кода; синоним: формальная семантика; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
formal semantics for timed automataформальная семантика временных автоматов (ssn)
formal semantics for timed automata in terms of infinite state transition graphsформальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)
formal specification languagesязыки формальных спецификаций (ssn)
formal specification of programming languagesформальное описание языков программирования (ssn)
formal structure of functionsформальная структура функций (ssn)
formal structuringсредство формальной структуризации (ssn)
formal system of axioms and inference rulesформальная система аксиом и правил вывода (ssn)
formal systems developmentформальное построение систем (ssn)
formal systems developmentформальная разработка систем (ssn)
formal technical reviewsформальные технические обзоры (структурированные совещания, проводимые отделом программного инжиниринга с целью поиска ошибок в некоторых поставляемых продуктах или рабочих продуктах ssn)
formal translation modelформальная модель трансляции (ssn)
formal translation modelsформальные модели трансляции (ssn)
formal type declarationформальное описание типа (ssn)
formal verificationформальная верификация кода (Electronic Design Alex_Odeychuk)
formal verification algorithmsалгоритмы формальной верификации (ssn)
formal verification techniqueметод формальной верификации (ssn)
formal-verification techniquesметоды формальной верификации (Alex_Odeychuk)
formal verification techniquesметоды формальной верификации (ssn)
non-formalфактический (о параметре процедуры ssn)
non-formalнеформальный (о параметре процедуры ssn)

Get short URL