Sentence examples for executable specification from inspiring English sources

We use typed functional programming (specifically Haskell) as a tool for design recovery and executable specification.

We start with an executable specification in order to yield a new fault-tolerant executable specification.

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

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

Thus, our grammars serve as a shared executable specification for a variety of language processing tools.

Current ESL design flows typically start with an executable specification model, where many essential design decisions are already locked down.

The framework can be used to explore the design space, study features of different points in the design space, and to develop executable specifications of specific agents and study their interactions with the environment.

The artifacts are divided roughly into informational artifacts (content, data) and executable artifacts (programs, executable specifications in domain-specific languages).

This is done by developing formal executable specifications of the MDS framework and its mission-specific adaptations and providing a set of formal checklists (formal analysis suites) that can be used to achieve better predictability and dependability.

We present a concurrency model that allows reasoning about concurrency in executable specifications of streaming applications.

A rule-based approach is outlined to realize these executable specifications.