5180 search results - page 365 / 1036 » Requirements Engineering |
158
click to vote
CSMR
2005
IEEE
16 years 11 days ago
2005
IEEE
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
141
click to vote
ISESE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
177
click to vote
ISPW
2005
IEEE
16 years 10 days ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
184
click to vote
SCAM
2005
IEEE
16 years 10 days ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
163
Voted
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...