809 search results - page 26 / 162 » Requirements by Contracts allow Automated System Testing |
165
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
132
click to vote
FORTE
2004
15 years 5 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
185
click to vote
RTAS
1998
IEEE
15 years 8 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...
120
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper we present two algorithms that automatically calculate linear expressions for Time Series. To estimate the maximum number of terms of the linear expression and the...
135
click to vote
ICOST
2007
Springer
15 years 10 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...