Sentence examples for specified formally from inspiring English sources

In this paper, a novel method is proposed using Bayesian Optimization Algorithm BOAA) to detect deadlocks in systems specified formally through graph transformations.

The patterns are modeled as graphs and the semantics of each pattern and each rule is specified formally in Z notations.

In systems which are specified formally through graph transformations, the state space is constructed by applying all enable rules on all generated states.

This necessitates that on one hand, the requirements are specified formally and on the other hand an exhaustive verification is performed.

But these are generic descriptions that do not adequately capture the human act as opposed to the act of a horse or dog, until the human acts are specified formally as rational.

The model is specified formally in the Additional file 1.

We propose to specify formally component interfaces with interface automata, obtained from requirement and sequence diagrams.

This extension defines new concepts and individuals necessary to specify formally the QoS/QoE mapping, including a new module called QoS/QoE mapping.

We did not pre-specify formally the number of interviews that would be conducted.

Language composability is a property of language descriptions, which can be further classified into informal (language syntax and semantics are hard-coded in compiler/interpreter) and formal language descriptions (syntax and semantics are formally specified with one of several formal methods for language definition).

To tame such system complexity, this paper proposes formal patterns, that is, formally specified solutions to frequently occurring distributed system problems that are generic, executable, and come with strong formal guarantees.