2216 search results - page 181 / 444 » Integration of Usability Techniques into the Software Develo... |
121
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program and system comprehension are vital parts of the software maintenance process. We discuss the need for both perspectives and describe two methods that may be integrated to ...
128
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
144
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
127
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...
134
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...