Sentence examples for structure of specification from inspiring English sources

The contribution proposes not only how to represent a system's formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support.

Institutions were introduced by J. Goguen and R. Burstall (see Goguen and Burstall 1984 and Goguen and Burstall 1992) as a kind of "abstract model theory" for Computer Science, and are adequate for developing concepts of specification languages such as structuring of specifications and implementation.

The structure of these specifications had not been designed for consistency and stability, which has led to many different instrumental software having seriously divergent parametric results.

However, the structure of the specifications (inputs, outputs, requirements) is not formal enough and, therefore, not appropriate to the preparation of test scenarios.

For a fulfillment of the product functions, principle solutions will be selected whose structures and parameters of specification will be laid out in a modelling process.

The structure of the DRE specification is designed to help a project supervisor to go from needs to product or to the right electrification system.

It allows to group the selection criteria using logical operators in the structure of the parameterized specifications.

However, there is no systematic way in the existing approaches for handling the interactions among nonfunctional requirements and their impacts on the structuring of requirement specifications.

This formalisation requires analysing, classifying, and structuring of the specifications.

Specifically, the ASM consists of three parts: a hierarchical cluster tree structure, the specification of simplification criteria and an optimization process.

Furthermore, ectopic expression of Osk at the anterior induces a duplication of posterior structures and specification of anterior pole cells (Ephrussi and Lehmann, 1992; Smith et al., 1992).