1199 search results - page 156 / 240 » Software Verification and Software Engineering a Practitione... |
117
click to vote
IWPC
2008
IEEE
16 years 15 days ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
150
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
171
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
157
click to vote
FMCO
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
157
click to vote
COMPSAC
2007
IEEE
16 years 13 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...