6800 search results - page 477 / 1360 » Testing with Functions as Specifications |
198
click to vote
JAR
2008
15 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
192
click to vote
JIPS
2006
15 years 7 months ago
2006
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
181
click to vote
NN
2006
Springer
15 years 7 months ago
2006
Springer
This paper introduces a generic theoretical framework for predictive learning, and relates it to data-driven and learning applications in earth and environmental sciences. The iss...
188
click to vote
NECO
2002
15 years 7 months ago
2002
We present a novel approach to dealing with overfitting in black-box models. It is based on the leverages of the samples, i.e. on the influence that each observation has on the pa...
160
click to vote
TC
2002
15 years 7 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...