Software engineering-retrospect and prospect
Harlan D. Mills · 2003
After reviewing early software engineering history, the author describes current developments and, finally, examines future prospects in this domain. Particular consideration is given to stepwise refinement and verification in arithmetic; data abstractions and usage hierarchies; stepwise refinement and verification in box-structured systems; and 'explosion' in computer-aided software engineering.>