1938 search results - page 11 / 388 » Dependable Software |
EDCC
2010
Springer
14 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 ...
FIW
2007
13 years 11 months ago
2007
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
IWPC
2010
IEEE
13 years 8 months ago
2010
IEEE
Many software developers use a syntactical ‘diff’ in order to perform a quick review before committing changes to the repository. Others are notified of the change by email (...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...