Sciweavers

561 search results - page 42 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
VAMOS
2010
Springer
15 years 4 months ago
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...
125
Voted
ER
2000
Springer
151views Database» more  ER 2000»
15 years 6 months ago
Algebraic Database Migration to Object Technology
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
Andreas Behm, Andreas Geppert, Klaus R. Dittrich
MICCAI
2003
Springer
16 years 3 months ago
Generalized Image Models and Their Application as Statistical Models of Images
A generalized image model (GIM) is presented. Images are represented as sets of four-dimensional (4D) sites combining position and intensity information, as well as their associat...
Miguel Ángel González Ballester, Xav...
CAISE
2006
Springer
15 years 6 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
OOPSLA
2005
Springer
15 years 8 months ago
MDAbench: a tool for customized benchmark generation using MDA
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui