1077 search results - page 50 / 216 » Introducing Software Engineering by means of Extreme Program... |
104
click to vote
CSMR
1998
IEEE
15 years 4 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
SIGSOFT
2010
ACM
14 years 6 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
186
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
104
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...