Sentence examples for check the conformance from inspiring English sources

In addition, most approaches exclusively check the conformance without providing any related diagnostics.

We further allow mapping of individual design pattern roles to (parts of) implementation elements to be generated (e.g., classes, methods) and check the conformance of the realization with the specification of the pattern.

In the production automation systems as examples of software-intensive systems, the projects managers want to observe the production processes, so they can check the conformance between the running systems and the planned systems, e.g., whether the systems provide the expected products in the right time, how much time needed to finish a sequence of jobs is.

The unit tests generated by BETA are particularly useful to check the conformance between the original abstract model and the actual implementation of the system.

Formal: Formalism is necessary to 1) verify the interaction between services by making sure there are no incompatible behaviors between services in a composition, 2) achieve correct automatic composition by verifying that the composition satisfies the requirements of the requester, and 3) check the conformance of requester requirements and the contracts of the services being provided.

This paper discusses an approach implemented in a software tool for checking the conformance of STEP files to the recommended practice for PMI representation.

Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties.

Additionally, the system model (described using a dialect of high-level Petri-nets) allows to reason about the system and to check conformance with the other models (task model, safety case and barriers).

Experimental studies of SA scenarios can considerably enhance our insight into intricate system dynamics and simplify the challenging task of deriving meaningful conformance criteria for checking the validity of SADS domain models against established operational concepts of marine safety & security.

Testing is an experimental method aimed at checking the correctness of some implementation and its conformance to some standard specification.

These automated error less generated designs will be used later as a seed for next project phases results: simulations to check requirements conformance, mechanical manufacturing drawings, electrical drawings, control code, etc.