Issue 6 • Dec 2001
This issue contains several parts.Go to: Part Supplement
Cited by: Papers (9)
The goals of the study presented were to compare different data analysis methods and to demonstrate the viability of simulation as a mechanism to allow such comparisons. Simulation was used to create data sets with a known underlying model and with non-Normal characteristics that are frequently found in software data sets: skewness, unstable variance, and outliers and combinations of these charact... View full abstract»
Cited by: Papers (1)
Many program verification, testing and performance prediction techniques rely on analysis of statically-identified control-flow paths. However, some such paths may be 'dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for identificat... View full abstract»
Aims & Scope
Published from 1997-2006, IEE Proceedings - Software included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered all aspects of the software lifecycle, including design, development, implementation and maintenance.