Sentence examples for high-level specifications from inspiring English sources

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.

In the initial stages, the organization and the collaborative tasks are modeled using high-level specifications.

Leiserson's group specializes in divide-and-conquer parallelization techniques; Solar-Lezama's specializes in program synthesis, or automatically generating code from high-level specifications.

Context: Template-based code generation (TBCG) is a synthesis technique that produces code from high-level specifications, called templates.

The discrete controller (or supervisor) is designed based on the abstracted (or approximated) system and high-level specifications.

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.

In LTLMoP, a high-level specification can be written in structured English.

From this high-level specification, Midas automatically generates layout files with appropriate sensor pads and routed connections.

Moreover, there is a need for high-level specification languages usable in industry.

Previous authors have suggested that computer models should be developed using high-level specification languages or large amounts of documentation.