Sentence examples for specification language from inspiring English sources

Should your specification language be typed?

Completed preliminary definition of mediator specification language.

complete description of the specification language used here.

CoFI designed Casl, the Common Algebraic Specification Language.

The second notation is the formal specification language Lotos.

The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.

The "technical specification language" consists of these abbreviations, acronyms, and specialized terms.

In support of our arguments we introduce Sceptic, an executable specification language which goes some way towards satisfying these requirements.

The system obtained is an executable specification language for all NP problems which shows interesting computational properties.

We describe a simple logical-provenance specification language consisting of attribute mappings and filters.

PROS has a flexible spectral model specification language which allows multi-component model fitting.