Title :
Software engineering-retrospect and prospect
Author :
Mills, Harlan D.
Author_Institution :
Florida Univ., Gainesville, FL, USA
Abstract :
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
Keywords :
data structures; program verification; software engineering; technological forecasting; box-structured systems; computer-aided software engineering; data abstractions; program verification; software engineering; stepwise refinement; usage hierarchies; Electrical engineering; Government; History; Humans; Information systems; Milling machines; Sanitary engineering; Software design; Software engineering; Software systems;
Conference_Titel :
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-0873-0
DOI :
10.1109/CMPSAC.1988.17155
