1587 search results - page 180 / 318 » Software Engineering Programmes are not Computer Science Pro... |
112
click to vote
WOSP
2010
ACM
15 years 9 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
107
click to vote
UIST
2009
ACM
15 years 9 months ago
2009
ACM
Triggering shortcuts or actions on a mobile device often requires a long sequence of key presses. Because the functions of buttons are highly dependent on the current application...
116
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
There are several problem areas that must be addressed when applying randomization to unit testing. As yet no general, fully automated solution that works for all units has been p...
110
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...
127
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...