Sciweavers

6941 search results - page 80 / 1389
» Testing as a Certification Approach
Sort
View
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
14 years 11 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
SOFTWARE
2002
14 years 9 months ago
Sequential Diagnosis in the Independence Bayesian Framework
We present a new approach to test selection in sequential diagnosis (or classification) in the independence Bayesian framework that resembles the hypothetico-deductive approach to ...
David McSherry
CIBSE
2008
ACM
14 years 11 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
AIPS
1994
14 years 11 months ago
Testing Incremental Adaptation
A robot system operating in an environmentin which there is uncertainty and changeneeds to combinethe ability to react withthe ability to plan ahead. In a previous paper wepropose...
Damian M. Lyons, Antonius J. Hendriks
SEUS
2007
IEEE
15 years 4 months ago
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
Martin Schlager, Roman Obermaisser, Wilfried Elmen...