Publisher's Synopsis
The three keynote addresses cover the new for new software technology, principles of software evolution, and auditing informal software testing and analysis processes. Others of the 41 papers consider a design metric for module coupling, a class testing technique based on data binding, safety analysis using colored Petri nets, a dynamic extension f