8627 search results - page 228 / 1726 » Software Engineering Using RATionale |
178
click to vote
ASE
2006
15 years 6 months ago
2006
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
213
click to vote
SIGOPS
2011
15 years 1 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
218
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
155
Voted
SEFM
2005
IEEE
15 years 12 months 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...
184
click to vote
IWPC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...