Sentence examples for specifications in the form of from inspiring English sources

He may do no direct work at all on the finished sculpture, his contribution being to supply exhaustive specifications in the form of drawings and perhaps scale models for a work that is to be entirely fabricated by craftsmen.

Jass, Java with assertions, is a Design by Contract extension for Java allowing to annotate Java programs with specifications in the form of assertions.

It seems assumed that system design is fundamentally guided by mammography equipment specifications in the form of a set of criteria that the final system has to meet, forgetting radiographers' characteristics.

The design of a stamping die essentially begins with the geometric development of die-faces using the process specifications in the form of part geometry, material data and stamping criterion such as the thinning limits.

The proposed application approach is based on three main steps: (i) the modeling of the plant basic control and behavioral specifications in the form of automata; (ii) the automatic synthesis of modular non-conflicting supervisors using a computer tool; and (iii) the implementation of the designed supervisory control.

The openEHR Foundation provides such specifications in the form of archetypes [ 28, 29].

Based on these observations, we examine the applicability of non-specification-based approaches, which need no specification in the form of a Boolean formula to create tests.

In the mechanical verification of programs containing loops it is often necessary to provide loop invariants additionally to the specification in the form of pre and postconditions.

In F-DC, the whole cyclic design life has to be investigated in one encompassing check and specified in the design specification in the form of cyclic actions as a continuous function of time or as a function of a discrete series of a time-like parameter that is used to specify the order of occurrences of action states.

Tasks are modeled as unit requests that contain resource specification in the form of computational resource requirements (MIPs, memory and storage) in addition to data exchange requirements (these include values representing the process files to be sent to the host the task is scheduled on before execution, data sent to other servers during execution and output data sent after execution).

Participatory action research was used to stepwise define a design specification in the form of a pattern language.