Results 241 to 250 of about 886,399 (267)
Some of the next articles are maybe not open access.
Proofs-as-Model-Transformations
2008This paper provides an overview of how to develop model transformations that are "provably correct" with respect to a given functional specification. The approach is based in a mathematical formalism called Constructive Type Theory (CTT) and a related synthesis formal method known as proofs-as-programs.
openaire +1 more source
The Estimation of Transformation Models
International Statistical Review / Revue Internationale de Statistique, 1993Summary: The paper discusses statistical inference for response models in which the dependent variable is subjected to a nonlinear parametric transformation. Maximum likelihood estimation based on normally distributed errors may be logically flawed, and in any case maximum likelihood estimates are generally inconsistent when the error distribution ...
openaire +1 more source
Proceedings of the 7th international workshop on Software and performance, 2008
Model-driven performance prediction methods use abstract design models to predict the performance of the modelled system during early development stages. However, performance is an attribute of the running system and not its model. The system contains many implementation details not part of its model but still affecting the performance at run-time ...
openaire +1 more source
Model-driven performance prediction methods use abstract design models to predict the performance of the modelled system during early development stages. However, performance is an attribute of the running system and not its model. The system contains many implementation details not part of its model but still affecting the performance at run-time ...
openaire +1 more source
Model Transformation Testing and Debugging: A Survey
ACM Computing Surveys, 2023Sérgio Segura +2 more
exaly
Digital transformation capability maturity model enabling the assessment of industrial manufacturers
Computers in Industry, 2021Ebru Gökalp
exaly
The impact of digital transformation on salespeople: an empirical investigation using the JD-R model
Journal of Personal Selling and Sales Management, 2021Edwin J Nijssen, Paolo Guenzi
exaly
The model transformation language of the VIATRA2 framework
Science of Computer Programming, 2007Daniel Varro, András Balogh
exaly