Sentence examples for classes of specifications from inspiring English sources

Units of semantics declare the basic modeling primitives shared by classes of specifications.

We consider various classes of specifications that can be synthesized with effort quadratic in the number of states of the reactive system, where we measure effort in symbolic steps.

The range of interesting applications is very wide: formal specification of interfaces and abstract classes, specification of component based software, formalization of design pattern, using Slam-sl as a pattern language, etc.

For example, we define Template 1 for the class of "Feature specification" questions.

They include the sizes and specification classes of all pipelines, all valves, and all instruments.

According to the results of the tests, the effective parameters on the penetration rate of the rotary drilling machines were divided into three classes: specifications of the machines, rock mass properties and chemical component of intact rock.

This list of specifications generally applies to all classes of converters.

We further characterized the positional specification of neurons obtained in our protocol demonstrating controlled differentiation of those cells into specific classes of CNS neurons.

While CGs mainly addressed treatment for older patients, few of them provided specification about different classes of age.

Signaling of neurotrophic RTKs, such as NTRK1, NTRK2, and NTRK3, is critical for the specification and survival of numerous classes of neurons (Ernsberger, 2009).

Dr. Ogilvy's books on sailing included three on one-design racing, the term for classes of boats, like Stars, in which all boats meet identical specifications.