6187 search results - page 261 / 1238 » Practical Software Measurement |
142
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
121
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
167
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
311
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
133
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
This descriptive case study is about the dynamics of a software engineering team using executable acceptance test-driven development in a real world project. The experiences of a c...