Exact(4)
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.
Similar(56)
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.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com