357 search results - page 2 / 72 » A Comparison of Model Migration Tools |
ICMT
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
CEC
2009
IEEE
13 years 10 months ago
2009
IEEE
—The paper is focused on the problem of aggregation of probability distribution applicable for parallel Bivariate Marginal Distribution Algorithm (pBMDA). A new approach based on...
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
BMCBI
2006
13 years 5 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
ECSA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....