1128 search results - page 159 / 226 » Little Engines of Proof |
136
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
82
Voted
VL
2006
IEEE
15 years 6 months ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...
97
Voted
ACMDIS
2006
ACM
15 years 6 months ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
115
Voted
SIGCSE
2006
ACM
15 years 6 months ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
EUROMICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
It has been suggested that use of the Naked Objects pattern could contribute to business agility of applications and reduce the amount of the application code up to 75 percent in ...