7393 search results - page 127 / 1479 » Synthesis-for-testability using transformations |
100
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
110
click to vote
CSMR
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
105
click to vote
PADL
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
162
click to vote
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
105
click to vote
ICA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Visual perception of transformation invariance, such as translation, rotation and scaling, is one of the important functions of processing visual information in the Brain...