1080 search results - page 152 / 216 » Improving Software Inspections by Using Reading Techniques |
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Loose coupling is often quoted as a desirable property of systems architectures. One of the main goals of building systems using Web technologies is to achieve loose coupling. How...
FASE
2010
Springer
14 years 3 months ago
2010
Springer
Traces of the evolution of software systems are left in a number of different repositories: such as configuration management systems, bug tracking systems, mailing lists. Develope...
CGO
2003
IEEE
14 years 2 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
AVI
2004
13 years 10 months ago
2004
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...