498 search results - page 2 / 100 » Software Metrics in Static Program Analysis |
IFL
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
IWPC
2006
IEEE
13 years 11 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
DAC
1997
ACM
13 years 9 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
CSMR
2007
IEEE
13 years 12 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
SERP
2004
13 years 6 months ago
2004
One of the biggest problems of software development is the management of software quality, both in terms of defects and easiness of maintenance. Software production and evolution ...