| Russian | English |
| автоматическая формальная верификация программного обеспечения | automated formal verification of software (Alex_Odeychuk) |
| алгоритмы формальной верификации | formal verification algorithms (ssn) |
| выбор имён формальных параметров | choosing formal parameter names (ssn) |
| выполненный формальным способом | stated in a formal way (ssn) |
| выполнить формальное доказательство отсутствия ошибок времени выполнения | prove absence of runtime errors (overflows, constraint errors, reading of uninitialized variables etc. 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) |
| выполнять формальным способом | state in a formal way (ssn) |
| графическое представление неориентированного и ориентированного графов вместе с их формальным описанием | drawing of a graph and directed graph with their formal definitions (ssn) |
| динамическая формальная верификация | dynamic formal verification (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) |
| для формальных определений используются теоретико-множественный и структурно-лингвистический подходы | for formal definitions the set-theoretical and graph grammar-based approaches are used |
| дополнительная формальная структура | additional formal structure (ssn) |
| дополнительная формальная структура функций | additional formal structure of functions (ssn) |
| ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность | 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) |
| заголовок с формальными параметрами | title with formal parameters (Alex_Odeychuk) |
| имена формальных параметров | formal parameter names (ssn) |
| имя формального параметра | formal parameter name (ssn) |
| инструмент формальной верификации кода | formal prover (Electronic Design Alex_Odeychuk) |
| использование формальной логики | use of logic (ssn) |
| использование формальной логики при решении задач | use of logic in problem solving (ssn) |
| использование языков формальных спецификаций | using formal specification languages (ssn) |
| итератор формального производного типа | iterator of a formal derived type (Alex_Odeychuk) |
| категория формальной верификации | category of formal verification (ssn) |
| комплект инструментальных средств формальной верификации программного обеспечения | formal method verification toolset (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) |
| Конечный автомат является средством формальной структуризации этой реальности | 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) |
| концепции формальных методов | formal methods concepts (ssn) |
| локальные и формальные параметры настройки | local and formal generics (ssn) |
| метод формальной верификации | formal verification technique (ssn) |
| метод формальной верификации | approach of formal verification (ssn) |
| методы формальной верификации | formal-verification techniques (Alex_Odeychuk) |
| методы формальной верификации | formal verification techniques (ssn) |
| набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения | verifier and prover toolchain (Alex_Odeychuk) |
| написание формальных спецификаций | writing formal specifications (ssn) |
| неполный формальный вызов | incomplete formal call (ssn) |
| нетегированный формальный приватный тип | untagged formal private type (Alex_Odeychuk) |
| нетегированный формальный производный тип | untagged formal derived type (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| обобщённая формальная подпрограмма | generic formal subprogram (Alex_Odeychuk) |
| обобщённый формальный тегированный тип | generic formal tagged type (Alex_Odeychuk) |
| обобщённый формальный тип | generic formal type (Alex_Odeychuk) |
| объявление формального параметра | formal parameter declaration (ssn) |
| объявление формального параметра в объявлении подпрограммы | formal parameter declaration in a subprogram declaration (ssn) |
| объявление формального параметра настройки | formal generic declaration (ssn) |
| объявление формального параметра настройки в объявлении объекта | formal generic declaration in an entity declaration (ssn) |
| объявление формального порта | formal port declaration (ssn) |
| объявление формального порта в объявлении объекта | formal port declaration in an entity declaration (ssn) |
| определение синтаксиса путём задания формального метаязыка | defining the syntax using a formal metalanguage (ssn) |
| основные задачи формальной логики | basic needs of formal logic (ssn) |
| особенности формальной верификации | different flavors of formal verification (ssn) |
| отправная точка для языка формальных спецификаций | starting point for a formal specification language (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) |
| перечень имён формальных параметров | list of formal parameter names (ssn) |
| перечень формальных параметров | list of formal parameters (ssn) |
| перечень формальных параметров | formal parameter list (ssn) |
| по этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний | 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) |
| подвид формальной верификации | subclass of formal verification (ssn) |
| подвид формальной верификации, называемый верификация модели | subclass of formal verification called model checking (ssn) |
| поддающийся формальному анализу | formally analyzable (корпорации AdaCore Alex_Odeychuk) |
| поддержка формального анализа исходного кода | formal analysis support (Alex_Odeychuk) |
| полный формальный вызов | complete formal call (ssn) |
| полуавтоматическая формальная верификация программного обеспечения | semi-automated formal verification of software (Alex_Odeychuk) |
| порядок следования формальных аргументов | order of the formal arguments (корпорации Cray Alex_Odeychuk) |
| потенциальные достоинства и недостатки использования языков формальных спецификаций | potential benefits and drawbacks of using formal specification languages (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) |
| пригодный для формального анализа | formally analyzable (корпорации AdaCore Alex_Odeychuk) |
| применение методов формальной верификации программного обеспечения промышленного назначения | industrial use of formal methods (корпорации AdaCore Alex_Odeychuk) |
| проверка соответствия программного обеспечения формальным спецификациям | software validation (Alex_Odeychuk) |
| проверка соответствия формальным спецификациям и тестирование программного обеспечения | software validation and testing (Alex_Odeychuk) |
| процесс компиляции с доказыванием формальной корректности кода | compilation/proof processes (Alex_Odeychuk) |
| разработка формальных специфичных для домена языков | develop formal domain specific languages (ssn) |
| распространённый язык формальных спецификаций | common formal specification language (ssn) |
| роль методов формальной верификации | role of formal verification techniques (ssn) |
| роль методов формальной верификации в контексте проверки соответствия и тестирования ПО | role of formal verification techniques in the context of software validation and testing (ssn) |
| с формальной верификацией кода с помощью | with formal proof via (корпорации AdaCore Alex_Odeychuk) |
| совокупность соответствующих формальных портов | collection of the corresponding formal ports (ssn) |
| соответствовать формальной спецификации требуемого поведения программы | meet a formal specification of the program's required behavior. (корпорации AdaCore Alex_Odeychuk) |
| соответствующие формальные порты | corresponding formal ports (ssn) |
| соответствующий формальный порт | corresponding formal port (ssn) |
| состоять как из формальных, так и из текстовых описаний | consist of both a formal definition and a prose definition (ssn) |
| список имён формальных параметров | list of formal parameter names (ssn) |
| список формальных параметров | formal parameter list (ssn) |
| средство формальной структуризации | formal structuring (ssn) |
| статическая формальная верификация | static formal verification (ssn) |
| статический анализ и формальная верификация программного обеспечения | analysis and verification (Alex_Odeychuk) |
| строка, объявленная длина которой не совпадает с длиной, указанной в формальном параметре | conformant string (в языке Pascal 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) |
| термин формальная верификация | the term formal verification (ssn) |
| фактический параметр обобщённого формального ссылочного типа | actual parameter for a generic formal access type (Alex_Odeychuk) |
| фактический параметр обобщённого формального указательного типа | actual parameter for a generic formal access type (Alex_Odeychuk) |
| фактическое формальное построение системы | actual formal development of the system (ssn) |
| формальная верификация кода | formal verification (Electronic Design Alex_Odeychuk) |
| формальная верификация неявных вызовов | formal verification of implicit calls (adacore.com Alex_Odeychuk) |
| формальная верификация программных модулей | modular formal verification (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| формальная и строгая форма | formal and rigorous manner (ssn) |
| формальная лингвистика | formal linguistics (ssn) |
| формальная логика | symbolic logic (ssn) |
| формальная логическая система | formal logical system (ssn) |
| формальная модель | semantics (formal model; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
| формальная модель и спецификация | formal model and specification (InfoWorld Alex_Odeychuk) |
| формальная модель трансляции | formal translation model (ssn) |
| формальная нотация | formal notation (корпорации AdaCore Alex_Odeychuk) |
| формальная передача процессов менеджмента услуг | delivery of service management processes (ssn) |
| формальная процедура внедрения | formal deployment procedure (ssn) |
| формальная процедура регистрации кода | formal check-in procedure (ssn) |
| формальная разработка систем | formal systems development (ssn) |
| формальная семантика временных автоматов | formal semantics for timed automata (ssn) |
| формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний | formal semantics for timed automata in terms of infinite state transition graphs (ssn) |
| формальная система аксиом и правил вывода | formal system of axioms and inference rules (ssn) |
| формальная спецификация требований | formal requirements specification (ssn) |
| формальная спецификация элементов языка | formal specification of the languages elements (ssn) |
| формальная структура функций | formal structure of functions (ssn) |
| формальная теория тестирования | formal theory of testing (в программировании ssn) |
| формальное высказывание | formal assertion (ssn) |
| формальное детальное проектирование | formal detailed design (ssn) |
| формальное доказательство корректности | formal proof of correctness (корпорации AdaCore Alex_Odeychuk) |
| формальное знакомство | formal examination (ssn) |
| формальное знакомство с построением типов классов в C# | formal examination of building class types with C# (ssn) |
| формальное и неформальное представление вызова | formal and non-formal representation of call (ssn) |
| формальное математическое доказательство | formal mathematical proof (ssn) |
| формальное моделирование программного обеспечения компьютера | formally model computer software (ssn) |
| формальное моделирование программного обеспечения ЭВМ | formally model computer software (ssn) |
| формальное описание | formal definition (ssn) |
| формальное описание типа | formal type declaration (ssn) |
| формальное описание того, как работает приложение | formal definition of how the application operates (ssn) |
| формальное описание языков программирования | formal specification of programming languages (ssn) |
| формальное определение контекстно-свободной грамматики | 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 notion (ssn) |
| формальное понятие конечного автомата | formal notion of a finite automaton (ssn) |
| формальное построение | formal development (ssn) |
| формальное построение систем | formal systems development (ssn) |
| формальное построение системы | formal development of the system (ssn) |
| формальное представление вызова | formal representation of call (ssn) |
| формальное рецензирование | formal review (см. Standard glossary of terms used in Software Testing ssn) |
| формальное утверждение корректности | assertion (алгоритма Alex_Odeychuk) |
| формальные высказывания о типах в программах | formal assertions about the typing of programs (ssn) |
| формальные инспекции архитектуры | formal architecture inspections (ssn) |
| формальные инспекции детального проекта | formal detailed design inspections (ssn) |
| формальные инспекции кода | formal code inspections (ssn) |
| формальные инспекции требований | formal requirements inspections (ssn) |
| формальные логические системы | formal logical systems (ssn) |
| формальные методы | formal methods (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) |
| формальные методы и критические системы | formal methods and critical systems (ssn) |
| формальные модели | formal models (ssn) |
| формальные модели трансляции | formal translation models (ssn) |
| формальные обозначения | formal notation (ssn) |
| формальные определения | formal definitions (ssn) |
| формальные параметры | formal parameters (ssn) |
| формальные параметры настройки | formal generics (ssn) |
| формальные параметры неявно типизированного лямбда-выражения | the formal parameters of an implicitly typed lambda expression (Alex_Odeychuk) |
| формальные параметры, передаваемые по значению | call-by-value formal parameters (ssn) |
| формальные параметры подпрограмм | formal parameters of subprograms (ssn) |
| формальные параметры функции | formal parameters for a function (ssn) |
| формальные порты | formal ports (ssn) |
| формальные свойства | formal properties (ssn) |
| формальные свойства языков | formal properties of languages (ssn) |
| формальные спецификации в процессе разработки ПО | formal specification in the software process (ssn) |
| формальные спецификации в процессе разработки программного обеспечения | formal specification in the software process (ssn) |
| формальные специфичные для домена языки | formal domain specific languages (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) |
| формальный аргумент | dummy argument (ssn) |
| формальный аргумент функции | function's formal argument (корпорации Cray Alex_Odeychuk) |
| формальный вызов | formal call (ssn) |
| формальный интерфейс | formal interface (Alex_Odeychuk) |
| формальный интерфейсный тип | formal interface type (Alex_Odeychuk) |
| формальный контроль над изменениями | formal change control (ssn) |
| формальный массивовый тип | formal array type (Alex_Odeychuk) |
| формальный метаязык | formal metalanguage (ssn) |
| формальный модульный тип | formal modular type (Alex_Odeychuk) |
| формальный обзор проекта | formal design review (корпорации AdaCore Alex_Odeychuk) |
| формальный обобщённый параметр | formal generic parameter (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| формальный параметр вызываемой программной единицы | formal parameter of a callable entity (программная единица – функция, процедура, метод, свойство класса или экземпляра класса, вход задачи Alex_Odeychuk) |
| формальный параметр настройки | formal generic (ssn) |
| формальный параметр подпрограммы | formal parameter of a subprogram (ssn) |
| формальный параметр с явно назначенным псевдонимом | explicitly aliased formal parameter (корпорации AdaCore Alex_Odeychuk) |
| формальный параметр с явно назначенным псевдонимом в теле функции | explicitly aliased formal parameter in a function body (корпорации AdaCore Alex_Odeychuk) |
| формальный пересмотр | formal review (ssn) |
| формальный подтип | formal subtype (корпорации AdaCore Alex_Odeychuk) |
| формальный порт | formal port (ssn) |
| формальный порт объекта проекта | formal port of a design entity (ssn) |
| формальный приватный тип | formal private type (Alex_Odeychuk) |
| формальный прогон | dry run (программы; начальный этап отладки и тестирования; практически возможен и оправдан только для очень простых программ и малых объёмов данных. Syn: desk checking, trial run ssn) |
| формальный проект | 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 derived type (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| формальный процесс контроля внесения изменений | formal change control process (ssn) |
| формальный родовой параметр абстрактного типа данных | formal generic parameter of the abstract data type (ssn) |
| формальный скалярный тип | formal scalar type (Alex_Odeychuk) |
| формальный специфичный для домена язык | formal domain specific language (ssn) |
| формальный способ | formal way (ssn) |
| формальный тест на эквивалентность | formal equivalence test (ssn) |
| формальный указательный тип | formal access type (Alex_Odeychuk) |
| формальный язык описания фундаментальных концепций параллелизма | formal language for describing the fundamental concepts of concurrency (ssn) |
| формальный язык предметной области | formal domain language (ssn) |
| языки формальных спецификаций | formal specification languages (ssn) |
