713 search results - page 65 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
177
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
IAT
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
DAGSTUHL
2004
15 years 1 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
100
click to vote
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...