| English | Russian |
| A state machine is a formal structuring of this reality | Конечный автомат является средством формальной структуризации этой реальности (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005 ssn) |
| actual formal development of the system | фактическое формальное построение системы (ssn) |
| actual parameter for a generic formal access type | фактический параметр обобщённого формального указательного типа (Alex_Odeychuk) |
| actual parameter for a generic formal access type | фактический параметр обобщённого формального ссылочного типа (Alex_Odeychuk) |
| additional formal structure | дополнительная формальная структура (ssn) |
| additional formal structure of functions | дополнительная формальная структура функций (ssn) |
| approach of formal verification | метод формальной верификации (ssn) |
| automated formal verification of software | автоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| basic needs of formal logic | основные задачи формальной логики (ssn) |
| call-by-value formal parameters | формальные параметры, передаваемые по значению (ssn) |
| category of formal verification | категория формальной верификации (ssn) |
| choosing formal parameter names | выбор имён формальных параметров (ssn) |
| collection of the corresponding formal ports | совокупность соответствующих формальных портов (ssn) |
| common formal specification language | распространённый язык формальных спецификаций (ssn) |
| complete formal call | полный формальный вызов (ssn) |
| consist of both a formal definition and a prose definition | состоять как из формальных, так и из текстовых описаний (ssn) |
| corresponding formal port | соответствующий формальный порт (ssn) |
| corresponding formal ports | соответствующие формальные порты (ssn) |
| defining the syntax using a formal metalanguage | определение синтаксиса путём задания формального метаязыка (ssn) |
| develop formal domain specific languages | разработка формальных специфичных для домена языков (ssn) |
| different flavors of formal verification | особенности формальной верификации (ssn) |
| drawing of a graph and directed graph with their formal definitions | графическое представление неориентированного и ориентированного графов вместе с их формальным описанием (ssn) |
| dynamic formal verification | динамическая формальная верификация (ssn) |
| explicitly aliased formal parameter | формальный параметр с явно назначенным псевдонимом (корпорации AdaCore Alex_Odeychuk) |
| explicitly aliased formal parameter in a function body | формальный параметр с явно назначенным псевдонимом в теле функции (корпорации AdaCore Alex_Odeychuk) |
| for formal definitions the set-theoretical and graph grammar-based approaches are used | для формальных определений используются теоретико-множественный и структурно-лингвистический подходы |
| for these reasons, I think we will see future specifications to consist of both a formal definition and a prose definition | по этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
| formal access type | формальный указательный тип (Alex_Odeychuk) |
| formal analysis support | поддержка формального анализа исходного кода (Alex_Odeychuk) |
| formal and non-formal representation of call | формальное и неформальное представление вызова (ssn) |
| formal and rigorous manner | формальная и строгая форма (ssn) |
| formal architecture inspections | формальные инспекции архитектуры (ssn) |
| formal array type | формальный массивовый тип (Alex_Odeychuk) |
| formal assertion | формальное высказывание (ssn) |
| formal assertions about the typing of programs | формальные высказывания о типах в программах (ssn) |
| formal call | формальный вызов (ssn) |
| formal change control | формальный контроль над изменениями (ssn) |
| formal change control process | формальный процесс контроля внесения изменений (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 remote operations data types | формализованное определение типов данных удалённых операций (ssn) |
| formal definition of the notion of modularity | формальное определение модульности (ssn) |
| formal definitions | формальные определения (ssn) |
| formal deployment procedure | формальная процедура внедрения (ssn) |
| formal derived type | формальный производный тип (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| formal design | формальный проект (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World 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 design review | формальный обзор проекта (корпорации AdaCore Alex_Odeychuk) |
| formal detailed design | формальное детальное проектирование (ssn) |
| formal detailed design inspections | формальные инспекции детального проекта (ssn) |
| formal development | формальное построение (ssn) |
| formal development of the system | формальное построение системы (ssn) |
| formal domain language | формальный язык предметной области (ssn) |
| formal domain specific language | формальный специфичный для домена язык (ssn) |
| formal domain specific languages | формальные специфичные для домена языки (ssn) |
| formal equivalence test | формальный тест на эквивалентность (ssn) |
| formal examination | формальное знакомство (ssn) |
| formal examination of building class types with C# | формальное знакомство с построением типов классов в C# (ssn) |
| formal generic | формальный параметр настройки (ssn) |
| formal generic declaration | объявление формального параметра настройки (ssn) |
| formal generic declaration in an entity declaration | объявление формального параметра настройки в объявлении объекта (ssn) |
| formal generic parameter | формальный обобщённый параметр (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| formal generic parameter of the abstract data type | формальный родовой параметр абстрактного типа данных (ssn) |
| formal generics | формальные параметры настройки (ssn) |
| formal interface | формальный интерфейс (Alex_Odeychuk) |
| formal interface type | формальный интерфейсный тип (Alex_Odeychuk) |
| formal language for describing the fundamental concepts of concurrency | формальный язык описания фундаментальных концепций параллелизма (ssn) |
| formal linguistics | формальная лингвистика (ssn) |
| formal logical system | формальная логическая система (ssn) |
| formal logical systems | формальные логические системы (ssn) |
| formal mathematical proof | формальное математическое доказательство (ssn) |
| formal metalanguage | формальный метаязык (ssn) |
| formal method verification toolset | комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk) |
| formal methods | формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) |
| formal methods and critical systems | формальные методы и критические системы (ssn) |
| formal methods concepts | концепции формальных методов (ssn) |
| formal model | семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
| formal model and specification | формальная модель и спецификация (InfoWorld Alex_Odeychuk) |
| formal models | формальные модели (ssn) |
| formal modular type | формальный модульный тип (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 parameter of a callable entity | формальный параметр вызываемой программной единицы (программная единица – функция, процедура, метод, свойство класса или экземпляра класса, вход задачи Alex_Odeychuk) |
| formal parameter of a subprogram | формальный параметр подпрограммы (ssn) |
| formal parameters | формальные параметры (ssn) |
| formal parameters for a function | формальные параметры функции (ssn) |
| formal parameters of subprograms | формальные параметры подпрограмм (ssn) |
| formal port | формальный порт (ssn) |
| formal port declaration | объявление формального порта (ssn) |
| formal port declaration in an entity declaration | объявление формального порта в объявлении объекта (ssn) |
| formal port of a design entity | формальный порт объекта проекта (ssn) |
| formal ports | формальные порты (ssn) |
| formal private type | формальный приватный тип (Alex_Odeychuk) |
| 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 requirements inspections | формальные инспекции требований (ssn) |
| formal requirements specification | формальная спецификация требований (ssn) |
| formal review | формальное рецензирование (см. Standard glossary of terms used in Software Testing ssn) |
| formal review | формальный пересмотр (ssn) |
| formal scalar type | формальный скалярный тип (Alex_Odeychuk) |
| 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 in the software process | формальные спецификации в процессе разработки программного обеспечения (ssn) |
| formal specification in the software process | формальные спецификации в процессе разработки ПО (ssn) |
| formal specification languages | языки формальных спецификаций (ssn) |
| formal specification of programming languages | формальное описание языков программирования (ssn) |
| formal specification of the languages elements | формальная спецификация элементов языка (ssn) |
| formal structure of functions | формальная структура функций (ssn) |
| formal structuring | средство формальной структуризации (ssn) |
| formal subtype | формальный подтип (корпорации AdaCore Alex_Odeychuk) |
| formal system of axioms and inference rules | формальная система аксиом и правил вывода (ssn) |
| formal systems development | формальное построение систем (ssn) |
| formal systems development | формальная разработка систем (ssn) |
| formal technical reviews | формальные технические обзоры (структурированные совещания, проводимые отделом программного инжиниринга с целью поиска ошибок в некоторых поставляемых продуктах или рабочих продуктах ssn) |
| formal technique | формальный аппарат (целеполагания ssn) |
| formal technique of objectives definition | формальный аппарат целеполагания (ssn) |
| formal technique of objectives definition, the sequence of actions logical control, and interference of system activity indicators deviations from the norm | формальный аппарат целеполагания, логического управления последовательностью действий и взаимовлияния отклонений от нормы показателей деятельности системы (ssn) |
| formal theory of testing | формальная теория тестирования (в программировании 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 of implicit calls | формальная верификация неявных вызовов (adacore.com Alex_Odeychuk) |
| formal verification technique | метод формальной верификации (ssn) |
| formal-verification techniques | методы формальной верификации (Alex_Odeychuk) |
| formal verification techniques | методы формальной верификации (ssn) |
| formal way | формальный способ (ssn) |
| function's formal argument | формальный аргумент функции (корпорации Cray Alex_Odeychuk) |
| generic formal subprogram | обобщённая формальная подпрограмма (Alex_Odeychuk) |
| generic formal tagged type | обобщённый формальный тегированный тип (Alex_Odeychuk) |
| generic formal type | обобщённый формальный тип (Alex_Odeychuk) |
| in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers | ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
| incomplete formal call | неполный формальный вызов (ssn) |
| industrial use of formal methods | применение методов формальной верификации программного обеспечения промышленного назначения (корпорации AdaCore Alex_Odeychuk) |
| iterator of a formal derived type | итератор формального производного типа (Alex_Odeychuk) |
| list of formal parameter names | перечень имён формальных параметров (ssn) |
| list of formal parameter names | список имён формальных параметров (ssn) |
| list of formal parameters | перечень формальных параметров (ssn) |
| local and formal generics | локальные и формальные параметры настройки (ssn) |
| meet a formal specification of the program's required behavior. | соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore Alex_Odeychuk) |
| modular formal verification | формальная верификация программных модулей (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| non-formal | фактический (о параметре процедуры ssn) |
| non-formal | неформальный (о параметре процедуры ssn) |
| non-formal call | неформальный вызов (ssn) |
| non-formal parameter | фактический параметр (напр., в языке Паскаль: формальные параметры (formal parameters) – это переменные, которые используются только внутри процедуры во время её работы и играют роль приёмника информации, поступающей извне. Поставщиками информации (конкретных значений) для формальных параметров являются фактические (неформальные) параметры. Фактическими параметрами могут служить переменные, константы, числа, выражения. При вызовах процедуры в разных частях основной программы, могут меняться фактические параметры, но формальные параметры, находящиеся внутри процедуры и воспринимающие значения от фактических параметров, остаются без изменений, меняются только хранимые ими значения ssn) |
| non-formal parameter | неформальный параметр (ssn) |
| non-formal parameter list | список фактических параметров (напр., в языке Паскаль соответствие формальных и фактических параметров устанавливается путем сопоставления параметров в обоих списках. Первый список – перечень формальных параметров, указываемых при описании процедуры, второй список – перечень фактических параметров, указываемых при вызове процедуры ssn) |
| non-formal parameter list | перечень фактических параметров (напр., в языке Паскаль соответствие формальных и фактических параметров устанавливается путем сопоставления параметров в обоих списках. Первый список – перечень формальных параметров, указываемых при описании процедуры, второй список – перечень фактических параметров, указываемых при вызове процедуры ssn) |
| non-formal parameter list | перечень неформальных параметров (ssn) |
| non-formal parameter list | список неформальных параметров (ssn) |
| non-formal parameter list | неформальный перечень параметров (ssn) |
| non-formal parameters | фактические параметры (ssn) |
| non-formal parameters | неформальные параметры (ssn) |
| non-formal representation | неформальное представление (ssn) |
| non-formal representation of call | неформальное представление вызова (ssn) |
| order of the formal arguments | порядок следования формальных аргументов (корпорации Cray Alex_Odeychuk) |
| perform formal proof and verification on code | выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk) |
| perform modular formal verification | выполнять формальную верификацию программных модулей (To prove the post condition of a subprogram according to its own precondition and the precondition and postconditions of its callees (ie, those subprograms that it calls) whether or not these callees are themselves proven. For a complete, 100%, proof, all the subprograms of an application need to be formally proven; корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| potential benefits and drawbacks of using formal specification languages | потенциальные достоинства и недостатки использования языков формальных спецификаций (ssn) |
| role of formal verification techniques | роль методов формальной верификации (ssn) |
| role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
| semi-formal methods | полуформальные методы (ssn) |
| semi-automated formal verification of software | полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
| starting point for a formal specification language | отправная точка для языка формальных спецификаций (ssn) |
| state in a formal way | выполнять формальным способом (ssn) |
| stated in a formal way | выполненный формальным способом (ssn) |
| static formal verification | статическая формальная верификация (ssn) |
| subclass of formal verification | подвид формальной верификации (ssn) |
| subclass of formal verification called model checking | подвид формальной верификации, называемый верификация модели (ssn) |
| the discipline associated with following a formal design paradigm is extended to the "low level" as well as high level software tasks | Дисциплина, связанная с нижеследующей парадигмой формального проекта, расширена как на "низкий уровень", так и на высокий уровень задач программного обеспечения (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
| 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) |
| the formal parameters of an implicitly typed lambda expression | формальные параметры неявно типизированного лямбда-выражения (Alex_Odeychuk) |
| the state machine is just a formal definition of how the application operates | Конечный автомат – это просто формальное описание того, как работает приложение (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
| the state machine is just a formal definition of how the application operates | Конечный автомат это просто формальное описание того, как работает приложение (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
| the term formal verification | термин формальная верификация (ssn) |
| Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner | Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
| title with formal parameters | заголовок с формальными параметрами (Alex_Odeychuk) |
| untagged formal derived type | нетегированный формальный производный тип (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| untagged formal private type | нетегированный формальный приватный тип (Alex_Odeychuk) |
| using formal specification languages | использование языков формальных спецификаций (ssn) |
| with formal proof via | с формальной верификацией кода с помощью (корпорации AdaCore Alex_Odeychuk) |
| writing formal specifications | написание формальных спецификаций (ssn) |
