The phrase "abstract specification" is correct and usable in written English.
It can be used in contexts related to software development, engineering, or any field where a general description of requirements or features is needed without going into detailed implementation.
Example: "The team created an abstract specification to outline the core functionalities of the software before diving into the detailed design phase."
Alternatives: "general specification" or "conceptual specification".
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.
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.
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.
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.
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.
Model checking with Spin involves reasoning about a system via an abstract Promela specification, thus the technique depends critically on the soundness of this specification.
