16725 search results - page 615 / 3345 » Engineering Software Correctness |
173
click to vote
ISSRE
2003
IEEE
16 years 14 days ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
224
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
200
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
206
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
214
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...