1781 search results - page 213 / 357 » An Emerging Need for a New Software Engineering Method |
149
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
168
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
158
click to vote
UIST
1994
ACM
15 years 10 months ago
1994
ACM
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
158
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
The results of a machine learning from user behavior can be thought of as a program, and like all programs, it may need to be debugged. Providing ways for the user to debug it mat...
169
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Single chip heterogeneous multiprocessors are arising to meet the computational demands of portable and handheld devices. These computing systems are not fully custom designs trad...