Sentence examples for specification validation from inspiring English sources

We extend source code-based coverage testing to the software design specification level for specification validation.

The concurrent design process for such embedded systems involves solving the specification, validation, and synthesis problems.

The specification, validation and application of the full model to a calcium hydroxide/calcium oxide based thermochemical storage system are the subject of part 2 of this study.

In this paper, we give an overview of the SAFE-V enhanced framework that upgrades the whole traditional Design Verification and Validation (DVV) strategies for advanced GNC systems: from specifications, validation plan, validation methods and tools, design to analysis.

The physical principles, technical specifications, validation, and use of the K-XRF technique have been described in detail elsewhere (Chettle et al. 2003; Hu et al. 1998).

The physical principles, technical specifications, validation, and use of the KXRF technique have been described in detail elsewhere (Hu et al. 1991).

The physical principles, technical specifications, validation, and quality control procedures of this (Burger et al. 1990; Hu et al. 1990 , 1994 and similar KXRF instruments (Ellis et al. 1987; Somervaille et al. 1985) have been described in detail elsewhere.

The physical principles, technical specifications, validation, and quality control procedures of this (Burger et al. 1990; Hu et al. 1990 , 1994 and other KXRF instruments (Jones et al. 1987; Somervaille et al. 1985) are described elsewhere.

A proposed CAD tool allows control system specification, modeling, validation and synthesis using Petri nets.

With the help of a principle approach for the geometrical tolerancing maturity relevant indicators like "Tolerance specification" or "Validation of specification" are elicited and sub- divided into their characteristics.

The increasing complexity of processing algorithms has led to the need of more and more intensive specification and validation by means of software implementations.