kirancodes.me
To Proof Maintenance & Beyond!

4,951 papers · page 166 of 248

ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003)

Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead

A critical issue in software engineering is how to construct high assurance software systems, i.e., software Systems where compelling evidence is required that the system delivers its services in a manner satisfying critical properties, such as safety and security. This two-day X…

Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined

Philip M. Johnson, Hongbing Kou, Joy Agustin, Christopher Chan, Carleton A. Moore, Jitender Miglani, Shenyan Zhen, William E. J. Doane

Pedagogues such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study research indicates that the PSP can provide software engineering students with empirical support for i…