Sentence examples for formally specified from inspiring English sources

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.

Most of the large collecting museums have not formally specified a date.

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

For example, formal ontological analysis can be applied to specify a conceptual model, verify its consistency and identify modelling choices that potentially lead to faulty results; or formal ontology can be applied to formally specify the meaning of terms in a vocabulary (e.g. to enable communication between autonomous intelligent agents).

It introduces logical clocks as first class citizens as a way to formally specify the expected behavior of models, thus allowing formal verification.

This project aims at defining an environment to formally specify and execute software components.

2) Propose a notation to formally specify the internal behaviour of a software component.

We introduce attributed labeled transition systems (ALTS) to formally specify component behavior and functionalities.