Sentence examples for model transformation technologies from inspiring English sources
To verify and analyze the AADL models, model transformation technologies are often used to automatically extract a formal specification suitable for analysis and verification.
One major outcome of this project has been a model transformation technology (see figure below) that has applications to model optimization, scalable model construction, joint management of product families, design refactoring, and workflow automation.
Based on linear parameter varying (LPV) model obtained by Tensor-Product model transformation technology, a novel parameter dependent robust model predictive control (PD-RMPC) algorithm with explicit time-delay compensation is presented.
They present a software process based on model transformation technology, thus making the statement "the model is the code" – instead of the common "the code is the model" – finally come true.
In his approach, DevSecOps is actually an umbrella term for three areas of required transformation: technologies, methodologies and models of shared ownership.
"Model Transformation Using ERG Controller".
Model Transformation - a framework for the analysis and transformation of actor models using model transformation techniques.
"Model Transformation for Systematic Development of Actor Models".
The model transformation facility provides a framework for the analysis and transformation of actor models using model transformation techniques.
"Model Transformation with Hierarchical Discrete-Event Control".
"Model Transformation with the Ptera Controller".
