7393 search results - page 340 / 1479 » Synthesis-for-testability using transformations |
125
click to vote
UIST
1997
ACM
15 years 8 months ago
1997
ACM
In this paper we present a simple but general set of techniques for modifying output in a 2D user interface toolkit. We use a combination of simple subclassing, wrapping, and coll...
139
click to vote
ISTA
2008
15 years 6 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
136
Voted
ECSCW
2003
15 years 6 months ago
2003
Research in collaborative editing tends to have been undertaken in isolation rather than as part of a general information or application infrastructure. Our goal is to develop a un...
100
click to vote
MICS
2008
15 years 4 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
165
click to vote
SMI
2010
IEEE
15 years 2 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...