Sentence examples for the development of correct from inspiring English sources

We take a step-wise refinement approach to the development of correct reconfigurable hardware circuits from formal specifications.

Generated problem: This defect may hinder the development of correct interactions (e.g. in the breakdown recovery utterance, solid lines can be used, instead of the dashed lines).

Generated problem: This defect may hinder the development of correct requirement (e.g. the sign issuers can be attributed to the user or to the designer's deputy in an incorrect manner with what was described in the requirements - confusion between "d:" and "u:").

It can be assumed that the development of false memories follows the same basic principles of memory formation as the development of correct memories, comprising the three different sub-processes encoding (learning), consolidation (off-line processing and strengthening of memory traces after encoding), and retrieval of the learned material [3].

Consequently, this information could be used to improve future molecular dating methods, allowing the development of "corrected molecular clocks", or empirically informed priors for Bayesian approaches [ 15, 19, 20].

We restrict ourselves to type annotated (lambda )-terms, since our main interest is the development of a correct type checker for this language.

Subsequently, the formation of precise axonal connections within the target area relies on the development of the correct number of axonal branches.

The development of the correct repertoire of antigen specificity requires maturation of only those immune cells that will be able to specifically recognize the invading pathogens, but that stay inert towards all components of the host organism.

We conclude that the judicious use of standard formal methods and tools suffices for the systematic development of correct control programs for this kind of application.

To our knowledge, this is the first attempt to develop such a framework and in our opinion, the development of frameworks for correct comparison of different approaches desperately needs more attention.

Tool support for the development of reliable and correct computer-based systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science.