2255 search results - page 21 / 451 » High Assurance Software Systems |
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
LCR
2000
Springer
14 years 6 days ago
2000
Springer
ADAEUROPE
2010
Springer
13 years 9 months ago
2010
Springer
ISPW
2006
IEEE
14 years 2 months ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
CSMR
2011
IEEE
13 years 4 days ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...