The psychology of computer programming
The psychology of computer programming
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Time Sharing Computer Systems
Structured programming in a production programming environment
Proceedings of the international conference on Reliable software
On the failure to implement structured programming and other techniques
ACM '75 Proceedings of the 1975 annual conference
The Air Force software manager
ACM '75 Proceedings of the 1975 annual conference
Hi-index | 0.00 |
Conventional software production efforts commence with an analysis of requirements, and proceed through design, coding and testing, with the product finally moving into an operational enviornment where subsequent maintenance and modification occurs. Moreover, various types of documentation are generated throughout these project phases. This is a gross outline and actual implementations vary widely between efforts, depending on environmental constraints. In addition to the satirical chronology listed above the introduction, we can make several key observations that apply to conventional software projects: