11172 search results - page 460 / 2235 » Testing Physical Systems |
179
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
167
click to vote
DLOG
2003
15 years 8 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
166
click to vote
PTS
2003
15 years 8 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
197
click to vote
TPHOL
2005
IEEE
16 years 15 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
157
click to vote
SEKE
2004
Springer
16 years 8 days ago
2004
Springer
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...