Sentence examples for high level specification from inspiring English sources
In [8], we provided a logic for digital investigation of security incidents and its high level specification language.
We propose an approach where aspects and objects rely on coordination provided by a common high level specification.
In [72], the same authors relate the theory of contracts with the notion of choreography conformance, used to check whether an aggregation of services correctly behaves according to a high level specification of their possible conversations based on input- and output actions.
The first high level specification (H1) defines the wild type state, and can be split into two parts: Cell1 is proliferating (H1.1), and Cell4 5 are differentiated (H1.2).
In order to be able to define high level specifications, we need to map changes in the level of protein activity to a certain cell fate.
The main contribution of the Stochastic Simulation Compiler (SSC) that we present here lies in combining a higher level specification required for modeling larger systems with the ability to model spatially heterogeneous systems.
We introduce our S# modeling framework (pronounced "safety sharp"), an executable, systematic, high-level specification language and tool suite specifically designed for the convenient modeling and formal analysis of safety-critical systems.
Moreover, there is a need for high-level specification languages usable in industry.
In contrast, OpenSBLI uses code generation to derive the model's code from a high-level specification.
They worked up a high-level specification for what they needed and spent almost 2 years seeking out funding.
