Software Renewal: A case Study
- 1 July 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 1 (3) , 56-63
- https://doi.org/10.1109/ms.1984.234710
Abstract
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.Keywords
This publication has 7 references indexed in Scilit:
- Automated Software Quality AssuranceIEEE Transactions on Software Engineering, 1985
- SOFSPEC: A pragmatic approach to automated specification verificationJournal of Systems and Software, 1983
- Software Structure Metrics Based on Information FlowIEEE Transactions on Software Engineering, 1981
- The entity-relationship modelPublished by Association for Computing Machinery (ACM) ,1977
- A Complexity MeasureIEEE Transactions on Software Engineering, 1976
- On the Automated Generation of Program Test DataIEEE Transactions on Software Engineering, 1976
- An Approach to Program TestingACM Computing Surveys, 1975