Your examples have become an executable specification.
In practice, it can be achieved by formalizing the program requirements and storing the executable specification directly with the program code.
На практике этого можно добиться, формализовав все требования к программе и храня полученную исполнимую спецификацию непосредственно вместе с кодом программы.
When the model is linked to the design requirements, it becomes an executable specification, reducing requirements ambiguity and minimizing the risk of design errors.
Модель, связанная с требованиями к проекту, становится исполняемой спецификацией, уменьшая двусмысленность требований и минимизируя риск ошибок проектирования.
The availability of an executable specification helps controls engineers understand the interactions among the controllers, motors, and machine, which leads to insight for improvements in the control system strategy.
Доступность исполняемой спецификации помогает инженерам систем управления понимать взаимодействие между контроллерами, двигателями и машинами, что приводит к осознанию путей улучшения системы управления.
Andra resultat
The article proposes formalized executable specifications that take into account the roles of all objects participating in the implementation of events and management from the wireless network.
Предложены формализованные исполнимые спецификации, учитывающие роли всех объектов-участников реализации событий и управление со стороны беспроводной сети.
The mathematical model, which is used by the author, is an executable formalized specification allowing for a direct transition from the DCS (the system of canonical equations) to the further hardware or software implementation of the proposed algorithms.
Применяемая математическая модель является исполнимой формализованной спецификацией, которая позволяет осуществить непосредственный переход от СКУ (системы канонических уравнений) к дальнейшей аппаратной или программной реализации предложенных алгоритмов.
The specification of an executable statement that forms an abstraction of a computational procedure.
Действие, являющееся результатом получения сообщения, - это исполняемое предложение, которое образует абстракцию вычислительной процедуры.
In one example, client engine 224 includes executable instructions stored on a non-transitory medium operable to perform a method according to this specification.
В одном примере механизм 324 сервера включает в себя исполняемые инструкции, сохраненные на непереходном носителе, который во время работы выполняет способы, в соответствии с данным описанием.
Binary Portability Testing: Technique that tests an executable application for portability across system platforms and environments, usually for conformation to an ABI specification.
Тестирование двоичной переносимости: Техника, которая проверяет исполняемого приложения для переноса всей системы платформ и сред, как правило, в конформации спецификация ABI.