1199 search results - page 183 / 240 » Software Verification and Software Engineering a Practitione... |
139
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
278
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
132
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
161
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
128
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We analyze the version history of 7 software systems to predict the most fault prone entities and files. The basic assumption is that faults do not occur in isolation, but rather ...