Sentence examples for high level specifications from inspiring English sources

As a modeling device, it supports producing high level specifications of existing or to-be-developed applications.

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.

In the second part of this talk, I will address the problem of generating an efficient implementation from a high level specification.

In the second part of this thesis, I will address the problem of generating an efficient implementation from a high level specification.

We propose an approach where aspects and objects rely on coordination provided by a common high level specification.

In [8], we provided a logic for digital investigation of security incidents and its high level specification language.

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).

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.

Furthermore, Spicycan reverse the process as well, assembling wire format from the high-level specifications.

Program synthesis has the potential to eliminate such errors, by generating executable code from concise and intuitive high-level specifications.