The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
Software projects typically rely on system analysts to conduct requirements elicitation, an approach potentially costly for large projects with many stakeholders and requirements....
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A...