4258 search results - page 120 / 852 » Languages and Interactive Software Development |
118
click to vote
AUIC
2006
IEEE
15 years 11 months ago
2006
IEEE
An execution trace contains a description of everything that happened during an execution of a program. Execution traces are useful, because they can help software engineers under...
152
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
183
click to vote
JCSS
2011
14 years 11 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
133
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
140
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...