2357 search results - page 116 / 472 » Computing Refactorings of Behavior Models |
122
click to vote
ICTAC
2004
Springer
15 years 8 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 ...
116
click to vote
CGI
1997
IEEE
15 years 7 months ago
1997
IEEE
In this article we propose a model of a tennis game simulation with synthetic actors as players and a referee. The behavior of these actors is based on their synthetic vision and ...
103
click to vote
FOCS
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, we analyze the behavior of communication networks in which packets are generated dynamically at the nodes and routed in discrete time steps across the edges. We foc...
123
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
114
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...