1481 search results - page 131 / 297 » Enriching the Software Development Process by Formal Methods |
168
click to vote
SAC
2008
ACM
15 years 5 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...
187
click to vote
CSB
2005
IEEE
16 years 22 hour 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...
176
click to vote
EMSOFT
2007
Springer
16 years 17 days 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...
165
click to vote
APSEC
2005
IEEE
16 years 1 days 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 ...
147
click to vote
CSDA
2007
15 years 6 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. ...