3792 search results - page 413 / 759 » Techniques for Trusted Software Engineering |
162
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
157
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
176
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
195
click to vote
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
166
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...