Sentence examples for specification of the functionality from inspiring English sources

Parameterizing the semantics with respect to enclosure representation provides a precise specification of the functionality needed from them, and facilitates studying their performance characteristics.

Such characteristics are necessary for applying the method to both incremental design and system evolution scenarios where p is already in place, and one needs to understand the specification of the functionality of the new component that should correctly interact with p. Indeed, in general, finding a suitable partner for p is easier than finding a complete system satisfying the global property.

Formally, the robustness of the system is defined as: (4) where ϕ is the specification of the functionality in temporal logic and T p is the trace representing the behavior of the system under perturbation p. This notion of robustness corresponds to a mean functionality, that is, describes on average how the system behaves under perturbations.

The vehicle manufacturers' involvement included developing the specification for the functionality of the software.

The B method provides a formal specification and rigorous analysis of the functionality and behavior of a system.

This three-step approach to design includes precise specification of system functionality, rapid exploration of numerous system-level design options, and refinement of the specification into one reflecting the chosen option.

In this paper, we propose an approach and a domain-specific language (DSL), named IIS⁎CFuncLang, aimed at enabling a complete specification of application-specific functionalities at the PIM level.

A thin solid film may be deposited from precursors in vapor, liquid, or even solid phases, or a combination of several phases, depending on the nature of the precursors and the desired functionality and specification of the resulting thin solid film.

In order to support specification of application-specific functionalities using IIS⁎CFuncLang, we have also developed appropriate tree-based and textual editors.

As a result of this, the technical specifications of their functionality might remain unclear.

Since it is desirable to be able to add or combine functionalities interactively and not to have to recompute module collections upon modification of specification of functionalities, an advantageous workflow of such studies would be to first compute a large collection of high quality modules and then to interactively select collections of specific interest by simple filtering procedures.