Sentence examples for providing a specification from inspiring English sources

We use the formal specification method DisCo, and demonstrate the approach by providing a specification of a simplified telecommunications system.

Since October 2015, building regulations have provided a specification for accessible, adaptable homes.

An enabler for such a development is a service-oriented reference architecture, which provides a specification for a future traceability management system.

To show the correctness of the algorithm, we provide a specification and an implementation of the Chord system in process algebra and establish bisimulation equivalence between the two.

The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification.

RDL provides a specification to publish and request for resources in environmental emergency situations, and matchmaking is the process of finding an appropriate resource for a request through a medium.

One must first provide a specification of the goal or end (telos) of living.

This distributed approach provides a specification that defines possible roles and rules for how to assign roles to nodes.

Logic, for instance, can provide a specification for a programming language by characterizing a mapping from programs to the computations that they license.

As noted above, estimates based on the tenth and sixteenth quarters prior to entry provide a specification test for this kind of selection.

To add to this growing body of research, we have been developing the intelligent mentoring system (IMS), which performs automatic mentoring by using an intelligent tutoring system (ITS) to scaffold learning activities and an ontology to provide a specification of learner's models.