1492 search results - page 132 / 299 » Testing Properties of Constraint-Graphs |
143
click to vote
IJIT
2004
15 years 5 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
150
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
115
click to vote
DM
2008
15 years 4 months ago
2008
In this paper, we investigate cyclic sequences which contain as elements all k-subsets of {0, 1, . . . , n-1} exactly once such that the unions of any two consecutive k-subsets of...
117
click to vote
JAL
1998
15 years 3 months ago
1998
We describe a very general technique for generating families of combinatorial objects without isomorphs. It applies to almost any class of objects for which an inductive construct...
117
click to vote
SIAMCO
2002
15 years 3 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....