Sentence examples for specification analysis of from inspiring English sources

XRD-measurements were employed for the specification analysis of the recovered target material.

In this paper, we describe the design and implementation of an environment for specification, analysis and verification of reactive systems.

A Petri net (PN -based aPN -basedssociapproachh object-oriented technique is proposed to support the specificassociatedlysis, and design of digital systems.

STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software or hardware.

The Planguage language terms are used together with the Planguage processes for specification, analysis, design and management of processes, projects, or organizations.

VerCors [26] is a platform for the specification, analysis, verification, and validation of GCM-based applications.

Unfortunately, the deficiency of its dynamic semantics limits the possibility of early specification analysis.

"Specification and analysis of electronic contracts".

The toolset enables specification and analysis of real-time implementations of control applications.

This paper proposes a formal framework and architecture for specification and analysis of interactive agents.

interval temporal logic (itl) and Petri nets are two well developed formalisms for the specification and analysis of concurrent systems.