Sentence examples for checking transformation from inspiring English sources

This gives evidence that the formal techniques developed in rCOS can be integrated into a model-driven development process and shows where it may be integrated in computer-aided software engineering (CASE) tools for adding formally supported checking, transformation and generation facilities.

Both normality (Shapiro-Wilk test) and homoscedasticity (residue plot) were checked; transformations were applied when necessary to approximate normality.

The proposed approach is implemented in GROOVE, a toolset for designing and model checking graph transformation systems.

To evaluate the efficiency of the proposed approach, it is implemented in GROOVE, an open source toolset for designing and model checking graph transformation systems.

By perceiving algebraic elements that are closer together in a hierarchical structure as a unified, perceptual object, one could transform the conceptual task of verifying algebraic validity into the perceptual task of checking that transformations do not violate algebraic objects.

The above results also prompted us to check whether transformation of C. albicans with the pUA15 plasmid destabilized its karyotype.

I walked past often, checking out the transformation of what was once a butcher shop into a white-tiled, stainless-steel open kitchen, and behind it, a lower-level dining-room.

➢ Checking the further transformation of land from agriculture to non-agriculture uses.

We checked if transformations were required for any continuous variables in this model, and considered possible interactions.

Internally, the framework builds on semantic technologies to provide substantial support for model checking and model transformations.

The flasks were again kept on shaker for fermentation and time course study was conducted by harvesting the content of one flask and checking the extent of transformation on TLC.