Software engineering 1972-1975
1972-1973
- Structured programming
- Programming style emerge
- GOTO controversy subsides
- Software Life Cycle and Management are proposed
1974-1975
- Reliability and quality assurance concerns
- Systematic testing procedures
- Notions of formal correctness procedures
- Models of fault tolerance and total system reliability
-