论文信息 - Software Renewal: A case Study

Software Renewal: A case Study

Error-free software in large applications may be possible only by respecifying the original design-and may be affordable only when automatic tools become available.

Harry M. Sneed

[1] J. C. Huang,et al. An Approach to Program Testing , 1975, CSUR.

[2] Harry M. Sneed,et al. Automated Software Quality Assurance , 1985, IEEE Transactions on Software Engineering.

[3] Harry M. Sneed,et al. SOFSPEC: A pragmatic approach to automated specification verification , 1983, J. Syst. Softw..

[4] C. V. Ramamoorthy,et al. On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.

[5] Maurice H. Halstead,et al. Elements of software science , 1977 .

[6] Peter P. Chen. The entity-relationship model: a basis for the enterprise view of data , 1986, AFIPS '77.

[7] Sallie M. Henry,et al. Software Structure Metrics Based on Information Flow , 1981, IEEE Transactions on Software Engineering.

[8] Michael Jackson,et al. Principles of program design , 1975 .

[9] Anas N. Al-Rabadi,et al. A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .