FORMAL SPECIFICATION на Русском - Русский перевод

• формальная спецификация
• формальной спецификации

Примеры использования Formal specification на Английском языке и их переводы на Русский язык

Formal Specification and Verification.
Формальная спецификация и верификация.

The OLVER(Open Linux VERification) set of functional tests based on formal specifications for LSB Core functions.
Набор тестов OLVER( Open Linux VERification), основанных на формальных спецификациях функций LSB Core.

Formal Specification and Verification of Programs.
Формальная спецификация и верификация программ.

It is of importance that test situations and dependencies are automatically extracted from the formal specifications.
Важной особенностью метода является то, что тестовые ситуации и зависимости автоматически извлекаются из формальных спецификаций.

Being a formal specification means that it mandates specific requirements.
Будучи формальной спецификацией, стандарт передает специальные требования.

Generation tasks are described in a special Ruby-based language which allows formulating verification goals in terms of test situations derived from formal specifications.
Задачи генерации описываются на специальном языке, основанном на Ruby, который позволяет формулировать цели верификации в терминах тестовых ситуаций, извлеченных из формальных спецификаций.

A formal specification of a class of business activities having the same business goal.
Формальная спецификация класса бизнес- деятельности, имеющей одну и ту же бизнес- цель.

Formal methods can be used at a number of levels: Level 0: Formal specification may be undertaken and then a program developed from this informally.
Можно выделить три уровня применения формальных методов: Нулевой уровень Разрабатывается формальная спецификация, затем программный код пишется.

It uses formal specifications as a source of knowledge about the configuration of the microprocessor under verification.
В качестве источника знания о конфигурации верифицируемого микропроцессора выступают формальные спецификации.

Analysis of functional software requirements on the base of documents available or knowledge and expertise of project participants and experts, transformation of requirements into formal specifications.
Анализ функциональных требований к целевому ПО на основе имеющихся документов или знаний участников проекта, запись требований в виде формальных спецификаций.

In the past he also worked on formal specification, interactive proof, automated verification and proof description languages.
В прошлом работал также над проблематиками формальной спецификации, верификации программ, автоматического доказательства теорем.

Model-based testing allows to automatize the testing process by generating test suites from a formal specification and to execute them on a real IUT.
Использование формальных моделей при тестировании позволяет автоматизировать процесс генерации тестовых последовательностей по формальному описанию спецификации и дальнейшего тестирования реальной системы.

A formal specification is a mathematical description of software or hardware that may be used to develop an implementation.
В информатике формальная спецификация- это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием.

Tatarnikov An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms Proceedings of the Institute for System Programming.
Татарников Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Труды Института системного программирования РАН.

Formal specifications of component interfaces in C language are proposed to be described in a special language called ACSL ANSI/ISO C Specification Language.
Формальную спецификацию интерфейсов компонентов на языке Си предлагается описывать на специальном языке ACSL ANSI/ ISO C Speci?? cation Language.

His research interests are symbolic modeling and modeling-by-proofs, invariants technique, specifications testing, automatic proofs, inductive inference, formal specifications verification.
Области интересов- символьное и доказательное моделирование, техника инвариантов, техники тестирования спецификаций, автоматизация доказательств, индуктивный вывод, верификация формальных спецификаций.

Formal specifications are created in the nML language that allows specifying syntax and semantics of instructions skipping all unnecessary implementation details.
Формальные спецификации системы команд создаются на языке nML, который позволяет описать синтаксис и семантику инструкций, абстрагируясь от деталей реализации.

Sooth to say, most of us are familiar with an official narrow definition of this word, but even formal specifications in software testing mention such terms as"user/customer needs and expectations.
Проще говоря, большинство из нас знакомы с официальным узким определением данного слова, но даже формальные спецификации в тестировании употребляют такие термины, как« потребности и ожидания пользователя/ заказчика».

Elaborate formal specifications in SeC language(Specification Extension of C) that reflect the requirements of LSB Core 3.1 standard in machine-readable form for the 1532 system interface functions.
Разработать формальные спецификации на языке SeC( спецификационное расширение C), которые будут отражать требования стандарта LSB Core 3. 1 для 1532 интерфейсных функций Linux.

Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications.
Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых видов в целевых программах при выполнении определенных предположений даже в условиях отсутствия полных моделей и формальных спецификаций.

The method includes SRL notation for compact formal specification of context conditions and STG tool for efficient generation of test suite from SRL specification..
Метод включает в себя язык SRL для компактного формального специфицирования контекстных условий, а также инструмент STG для эффективной генерации множеств тестов из SRL- спецификаций.

For this reason, after the treasury is integrated into CSL, the Foundation will encourage additional development teams to construct alternative clients based upon the formal specifications developed jointly with IOHK.
И поэтому после того, как в CSL появится система казначейства, Cardano Foundation наймет дополнительные команды разработчиков для создания альтернативных клиентов по формальной спецификации, разработанной в сотрудничестве с IOHK.

This requires a formal specification of the measurement performance required, including the required detection limit and precision for obtaining estimates of the rate of change in Pb levels in soil.
Это требует официальной спецификации параметров измерений, включая определение требуемых пределов обнаружения и точности в отношении получаемых оценок темпов изменения уровней присутствия свинца в почве.

However, languages are still occasionally implemented and gain popularity without a formal specification: an implementation is essential for use, while a specification is desirable but not essential informally.
Тем не менее, языки все еще время от времени используются и приобретают популярность без формальной спецификации: реализация языка необходима для его использования, в то время как спецификация является желательной, но не необходимой.

The approach is based on formal specification of memory access instructions, namely load and store instructions, and formal specification of memory devices, such as cache units and address translation buffers.
В основе предложенного метода лежат формальные спецификации инструкций доступа к памяти, а именно инструкций чтения и записи, и формальные спецификации устройств памяти, таких как модули кэш- памяти и буферы трансляции адресов.

The studies of changes in security features of IP level introduced in IPsec v2 showed that formal specification and test scenarios designed in the previous project were almost impossible to use.
Проведенный анализ изменений, внесенных в спецификации функций безопасности уровня IP при переходе с версии IPsec v1 на версию IPsec v2, показал, что разработанные в предыдущем проекте формальные спецификации протоколов и тестовые сценарии практически невозможно использовать.

His scientific interests are software deductive formal verification, formal specification, specialized domain logics construction, distributed and reactive systems specification and verification, functional programming.
Научные интересы: дедуктивные методы формальной верификации, методы формальной спецификации, построение специализированных доменных логик, спецификация и верификация распределенных и реагирующих систем, функциональное программирование.

The Mobile Broadband Wireless Access(MBWA) Working Group was approved by IEEE Standards Board on December 11, 2002 to prepare a formal specification for a packet-based air interface designed for Internet Protocol-based services.
Рабочая группа по мобильному широкополосному беспроводному доступу была утверждена Департаментом IEEE по стандартам 11 декабря 2002 года, чтобы подготовить официальную спецификацию по основанному на пакетной передаче эфирному интерфейсу, предназначенному для базирующихся на IP услуг.

A notable example is the C language, which gained popularity without a formal specification, instead being described as part of a book, The C Programming Language(1978), and only much later being formally standardized in ANSI C 1989.
Примечательным примером является язык Си, который приобрел популярность без формальной спецификации, а был описан вместо этого в части книги,« Язык программирования Си»( 1978 г.), и был формально стандартизован намного позже в ANSI C( 1989 г.); описание поведения компилятора( иногда называемого« транслятором») для языка например, языки C и Фортран.

The generator supports an instruction subset typical for mobile applications(about 400 instructions) and consists of two main parts:(1) an architecture-independent core and(2) formal specifications of ARMv8 or, more precisely, a model automatically constructed on the basis of the formal specifications..
Генератор поддерживает подмножество команд, характерное для мобильных приложений( около 400 команд) и состоит из двух основных частей:( 1) архитектурно независимого ядра и( 2) формальной спецификации ARMv8 точнее, модели, автоматически построенной по формальным спецификациям..