Sentence examples for abstract specifications from inspiring English sources

One possibility is to utilize abstract specifications.

Petri nets models are executable, allowing the simulation of abstract specifications.

Developers must then verify that the final implementation is consistent with these more abstract specifications.

Abstract specifications and ease of implementation also foster a deeper understanding and encourage experimentation.

Starting from an abstract specification of the desired system, models at various levels of abstraction are automatically generated through successive step-wise refinement, resulting in a pin-and cycle-accurate system implementation.

Recall that, in the case of overt activity, an agent's behaviour is implemented by way of closely coupled modelling mechanisms that take an intention's relatively abstract specification of a goal-state and transform it into various fine-grained, functionally specific, commands and predictions.

According to this model, an intention produces overt action by way of cooperation with a closely coupled collection of modelling mechanisms that take the intention's relatively abstract specification of a goal-state and transform it into various fine-grained, functionally specific, commands and predictions.

On this account, computations are technical artifacts whose function is fixed by an abstract specification.

We exploit the hydraulic electric circuit analogy to define an abstract specification of microfluidic circuits.

Refinement is conventionally used to effect a demonstrably-correct development from an abstract specification.

Refinement enables implementation-level features to be proven correct with respect to an abstract specification of the system.