Sentence examples for specification derived from from inspiring English sources

Clinical Document Architecture, Release One (CDA R1), became an American National Standards Institute (ANSI approved HL7 Standard in November 2000, representing the first specification derived from the Health Level 7 (HL7) Reference Information Model (RIM).

In this paper, we show that this knowledge could be exploited in the context of an on-line hazard-directed monitoring scheme in which a suitable specification derived from design models and safety analyses forms a reference monitoring model.

The performance specification derived from the validation should be used to assess the 'validity' of each test run and this information should be added to the validation file at appropriate intervals.

Using phase-plane analysis, we constrain the model behavior so that it meets qualitative and quantitative specifications derived from the experiments, including the precise control of the frequency of the synchronization episodes.

The specifications derived from laboratory experimental results can be separated into two categories.

We propose a method for analyzing Qualitative networks, that uses formal verification of specifications derived from experimental observations for iteratively improving the model.

We define a set of specifications derived from laboratory experimental perturbations on these pathways, and use them to analyze the possible executions of the model.

We use simulation and model checking to verify that the implementation of the Qualitative network adheres to a set of specifications derived from the laboratory experimental observations.

To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code.

We describe how specifications are derived from experimental data, and how the implementation of the model is verified against them.

Analytical quality specifications were derived from biological variation data, and imprecision goals can be reasonably achieved with current methods.