16 search results - page 3 / 4 » infsof 2010 |
INFSOF
2010
13 years 4 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
INFSOF
2010
13 years 3 months ago
2010
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
INFSOF
2010
13 years 4 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
INFSOF
2010
13 years 4 months ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
INFSOF
2010
13 years 3 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...