Sentence examples for design descriptions from inspiring English sources

Also, designer-specified properties may be model checked with these final design descriptions.

Design: Descriptions of the clinical features of medical disorders; survey.

This approach, along with abstractions of the design descriptions, can potentially deal with very large design descriptions, since no state traversals are required for the verification.

Model-checking algorithms for high-level design descriptions have been presented.

The basic method used to compare two high-level design descriptions is symbolic simulation.

One of the ParaCore Architect™ design descriptions can be used to generate corresponding floating-point cores.

We used qualitative research, especially the descriptive design (description of the phenomenon) and the comparative design (comparison of data).

Finally design intent description in product modeling environment is discussed and illustrated by examples.

Design: Description and measurement of clinical features.

Ruby supports concise design description and formal verification.

The detailed design description of the lighting system is thoroughly investigated.