1481 search results - page 131 / 297 » Enriching the Software Development Process by Formal Methods |
137
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
147
Voted
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
With the rapid growth of biomedical research databases, opportunities for scientific inquiry have expanded quickly and led to a demand for computational methods that can extract b...
132
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
129
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
118
Voted
CSDA
2007
15 years 3 months ago
2007
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...