561 search results - page 7 / 113 » A Constructive Approach to Testing Model Transformations |
EVOW
2001
Springer
15 years 2 months ago
2001
Springer
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
105
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
CAISE
2001
Springer
15 years 2 months ago
2001
Springer
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
DAGSTUHL
2004
14 years 11 months ago
2004
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...
ICTAC
2004
Springer
15 years 3 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...