Sentence examples for was formally specified from inspiring English sources

The notion of consistency between the services was formally specified and discussed with the stakeholders before the technical aspects on how to preserve said consistency were explored.

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.

After the formal specification of functions, operations are formally specified.

COTS are formally specified using temporal logic and/or executable observers, and coded according to their formal specification.

When it is formally specified exactly what it means for a cheese to be mozzarella di bufala campana, innovation is stopped.

The parallel applications executing in the system are formally specified using a rigorously defined application model.

COTS are formally specified using temporal logic and/or executable observers.

These models have been formally specified by using the Unified Modeling Language [UML distilled.

A prototype has also been implemented, and the system has been formally specified and verified.

These properties are formally specified in the form of Scyther claims.