Sentence examples for check conformance from inspiring English sources

In this paper we present a paradigm for combining formal specification with implementation, called monitoring-oriented programming (MoP), providing a light-weighted formal method to check conformance of implementation to specification at runtime.

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).

It consists of an updated CML schema (schema3), conventions specifying rules in both human and machine-understandable forms and a validator available both online and offline to check conformance.

With the explosion of software size, checking conformance of implementation to specification becomes an increasingly important but also hard problem.

By checking conformance of these intensional views and relations against the source code, they supposedly facilitate a variety of software maintenance and evolution tasks.

Furthermore, XML provides the means for checking conformance of the structure and data ensuring that the XML instances meet the requirements of the application in question.

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

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

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.

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.

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.