491 search results - page 37 / 99 » RETNA: From Requirements to Testing in a Natural Way |
162
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
239
click to vote
SBMF
2010
Springer
15 years 26 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
153
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
172
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We explore the problem of reconstructing an image from a bag of square, non-overlapping image patches, the jigsaw puzzle problem. Completing jigsaw puzzles is challenging and requ...
164
click to vote
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...