Sentence examples for a specification language for from inspiring English sources

The advantage of using DE is that it provides a semantic foundation that is simple, time-aware, deterministic and natural as a specification language for many applications.

The calculus is closely connected to a substructural modal logic that may be used as a specification language for properties of models.

Rather than using DE models for performance modeling and simulation, where time stamps are a modeling property bearing no relationship to real time during execution of the model, PTIDES uses DE model as a specification language for real-time applications.

The hardware ADLs capture the structure (hardware components and their connectivity) and the behavior (instruction set) of processor architectures and these ADLs have been successfully used as a specification language for processor development.

As a consequence, it can serve as a specification language for computational systems, a role that is also occupied by, say, Petri nets, process calculi, λ-calculus, etc.

To overcome this limitation, two other technologies have been proposed: the RDF Schema (RDFS), a specification language for data properties based on RDF; and the Web Ontology Language (OWL), a language to formally define semantics, which also enables reasoning based on Description Logics [ 17 19].

This paper presents H, a minimalistic specification language for designing heterogeneous software applications, particularly in the realms of robotics and industria, which takes advantage of a Component-Based Softwapproachneering (CBSE) approach.

To demonstrate the practicability of an approach that unifies these advanced graph-transformation techniques, we define the abstract syntax of behavior trees (BTs), a graphical specification language for functional requirements.

The system obtained is an executable specification language for all NP problems which shows interesting computational properties.

The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification.

The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica).