2255 search results - page 4 / 451 » High Assurance Software Systems |
82
Voted
INDIASE
2009
ACM
15 years 4 months ago
2009
ACM
ACSAC
1999
IEEE
15 years 1 months ago
1999
IEEE
COMPUTER
2008
14 years 9 months ago
2008
HASE
1998
IEEE
15 years 1 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
101
click to vote
EDCC
2010
Springer
15 years 2 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...