1031 search results - page 101 / 207 » On the Formal Development of Safety-Critical Software |
100
Voted
ASWEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
106
click to vote
APSEC
2005
IEEE
15 years 6 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 ...
104
Voted
ISARCS
2010
15 years 4 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
100
Voted
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
103
click to vote
FORTEST
2008
15 years 2 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...