Software Engineering

Software Engineering:
1.The Software Crisis: 1968
2.Critical Software
3.The Software Life Cycle
4.FormalMethods in Software Development
5.Introduction to the Z Speciļ¬cation Language
6.Large Software Systems: A Study
www.cl.cam.ac.uk