809 search results - page 34 / 162 » Requirements by Contracts allow Automated System Testing |
120
click to vote
ALP
1994
Springer
15 years 8 months ago
1994
Springer
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present ...
156
click to vote
SIGSAND
2008
15 years 5 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
144
click to vote
IJCAI
2007
15 years 5 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
150
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...
120
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...