7393 search results - page 88 / 1479 » Synthesis-for-testability using transformations |
105
click to vote
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a method to analyse the variability of the spine shape using rigid transforms. The spine was expressed as a set of rigid transforms that superpose local coordinates sys...
154
click to vote
CIBSE
2009
ACM
15 years 7 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
103
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
139
click to vote
MBUI
2004
15 years 4 months ago
2004
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...
119
click to vote
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...