The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilk...
Estimating different characteristics viz., size, cost, etc. of sofrware during different phases of software development is required to manage the resources effectively. Function p...
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
Eleven open source software projects written in C/C++ were analyzed to determine if the number of committing developers impacts code quality. We use cyclomatic complexity, lines o...
Brandon Norick, Justin Krohn, Eben Howard, Ben Wel...
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...