Software Engineer's Reference Book

The book is divided into three major parts. The first one is a dissertation on the theory of computer science and other basic mathematics such as statistics. It covers logic, set theory, theroy of computation, computational complexity and graph theory. The second part deals with methods, techniques and technology. It discusses software development methods, techniques and technology primarily based around a conventional view of the software life cycle. The more traditional "structured" methods such as CORE, SSADM and SREM and formal methods including VDM and Z are covered. It then goes on to explain "managerial" aspects of software development such as configuration control and quality assurance. The third part refers to principles of applications and the purpose of this section is to describe particular applications. An example is the air traffic control system at Heathrow.
 
The book is divided into three major parts. The first one is a dissertation on the theory of computer science and other basic mathematics such as statistics. It covers logic, set theory, theroy of computation, computational complexity and graph theory. The second part deals with methods, techniques and technology. It discusses software development methods, techniques and technology primarily based around a conventional view of the software life cycle. The more traditional "structured" methods such as CORE, SSADM and SREM and formal methods including VDM and Z are covered. It then goes on to explain "managerial" aspects of software development such as configuration control and quality assurance. The third part refers to principles of applications and the purpose of this section is to describe particular applications. An example is the air traffic control system at Heathrow.