This paper describes a reference model for open source software (OSS) processes and its application towards discovering such processes from OSS project artifacts. This reference mo...
This paper discusses a procedure for reviewing code changes that are made to a software product as it moves through its life cycle. In this procedure the technical manager reviews...
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, C...
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
Thomas Tan, Qi Li, Barry W. Boehm, Ye Yang, Mei He...
Abstract. Software vendors are increasingly concerned about mitigating the security risk of their software. Code quality improvement is a traditional approach to mitigate security ...