1037 search results - page 162 / 208 » Lightweight Languages as Software Engineering Tools |
113
click to vote
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
111
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
140
click to vote
ECLIPSE
2007
ACM
15 years 6 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...
163
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
112
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...