Sentence examples for specification analysis from inspiring English sources

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

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.

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.

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

Decentralized PID controller design, specifications analysis and time response simulations has been made using the TITO tool, a set of m functions written in Matlab.

To solve this problem even in cases using a small number of sensors, we propose using a new smell description method that combines smell intensity and smell specifications analysis, akin to how sommeliers describe the aroma of wine.

In addition, for tool support in the design phase, we developed the NuSDS tool based on the NuFDS approach; this tool is used specifically for generating software design specification and analysis for nuclear fields.

In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS).

Formal specification and analysis of the algorithm is described in "Results and discussion" section.