Sentence examples for executed specifications from inspiring English sources

The single most important reason for writing clear and precise specifications is to ensure that the vendors or contractors, engineers, and bidders are well informed enough to provide the final product required that results in quality without additional work or modifications resulting from poorly executed specifications.

During your event — On the day of your function, the outsourced event planning firm is responsible for managing the flow of the event to make sure that it is executed to your specifications.

Ms. Aldredge insisted that he had merely executed designs to her specifications.

The base scenario of the simulation model is executed with the standard specifications of the container terminal.

By means of an example we show that our approach allows specifying aspects of a distributed system in a Maude-based KLAIM dialect, verifying these specifications using Maude's LTL model checking capabilities, and then executing the verified specifications in a distributed environment.

The resulting formal specification is executed on PRISM, a model checking tool adequate for the purpose of our analysis in order to identify a set of domain-specific dependability properties expressed declaratively in Probabilistic Computational Tree Logic (PCTL).

Considering a system with n replicas/servers, it ensures that operations are executed according to their specification even if up to f=(n−1)/3 replicas are malicious (the correct replicas mask the behavior of the malicious ones).

Concretely, given a particular point in a specification, our technique allows us to know what parts of the specification must necessarily be executed before this point, and what parts of the specification could be executed before it.

This chapter presents the benchmark specifications developed for XMark, a set of queries and lessons learned while executing the workload specification on a number of platforms.

The static specification of operations executed in parallel using No Operations (NOPs) is another culprit to make code size to be increased in VLIW architecture.

It is the modeler responsibility to make a combination of test cases by which all the formal specification can be executed.