6291 search results - page 905 / 1259 » Components Are from Mars |
199
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
180
click to vote
FATES
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
165
click to vote
FIMH
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we present a novel approach to the problem of spatiotemporal alignment of cardiac MR image sequences. This novel method has the ability to correct spatial m...
176
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
141
click to vote
FROCOS
2005
Springer
16 years 10 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...