748 search results - page 94 / 150 » Agile Software Assurance |
131
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
143
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
111
Voted
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
127
Voted
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
155
Voted
AADEBUG
1995
Springer
15 years 7 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...