Sentence examples for represent specifications from inspiring English sources

We represent specifications graphically using the Temporal Logic of Actions, a logic that models system behaviour by sequences of states.

Open image in new window Fig. 3 Fundamental diagrams for pedestrian movement in planar facilities [Lines represent specifications given by planning handbooks (SFPE: Handbook, PM: Predtechenskii and Milinskii, WM: Weidmann).

In principle, openEHR implementations can easily generate ISO EN 13606 [ 25] communication extracts, because ISO EN 13606 represents specifications for the exchange of "EHR Extracts" [ 26].

By contrast, the remaining features are called abstract and they usually correspond to high-level features used for organizing the whole diagram (e.g., VSsystem), grouping sets of components and parameter variants (e.g., Tracking, Resolution), or representing specification and context aspects (features in the VSspecification sub-model).

The operations and relations of this algebra enable to represent controller specifications formally, to detect inconsistencies within specifications and to generate control laws from a consistent specifications set.

Many specification languages have been proposed to represent security specifications.

We use those labels as means to represent the specifications and mark the points the developer aims to verify.

In Table 2, we specify two new models that represent different specifications of the regression equations presented in model 2. Model 3 is identical to model 2 with the exception that the vector Partners is now a measure of the types of partners, rather than their geographical location, as detailed in the section on independent variables.

Therefore we did not include the content of open and narrative feedback sections which may represent additional specifications of the 13 dimensions for patients' experience and satisfaction.

An object diagram is a variant of a class diagram in which instance specifications are drawn, representing detailed specifications of objects of particular classes.

This method ensures interoperability with existing engineering information management systems, represents part specifications in a formal manner, and has generality in search procedure.