Sentence examples for in the specification language from inspiring English sources

All analyses are expressed in the specification language of UPPAAL, which extends TCTL.

We then show how to build Petri net models of web services formulated in the specification language BPEL4WS.

The monitoring of SLAs expressed in the SLA specification language of SLA@SOI requires the translation of these SLAs into operational monitoring specifications (i.e., specifications that can be checked by a low level monitor plugged into the SLA@SOI framework).

The CosmosDB team isn't just building on some of the fundamental work Lamport did around databases, but it's also making extensive use of TLA+, the formal specification language Lamport developed in the late 90s.

The second notation is the formal specification language Lotos.

In particular, we relied on the formal specification language Alloy and its automatic Analyzer.

A template must be processed together with a padding document given rise to a new document in some specification language, called target language.

This case shows clearly that human factors such as deficiencies in design specification, language barriers, and cultural/human barriers (individual personal performance) were identified as aspects that inhibit performance for supply chain organizations (Chen et al. 2007).

The C++ code of the predicates is automatically generated from its formula, written in a simple specification language.

In order to test the modifications in the IEEE802.11 MAC layer [2], a simulation model of the IEEE802.11 WLAN has been developed in the Specification and Description Language (SDL) [14].

Detailed descriptions, the grammar, and layout rules of PD can be found in the specification of the language [ 11].