Software Engineer's Reference Book
John McDermid(Editor)
Butterworth-Heinemann (Publisher)
Published on 29. March 1991
Book
Hardback
1032 pages
978-0-7506-1040-7 (ISBN)
Description
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.
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.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
800ill.
Dimensions
Height: 246 mm
Width: 189 mm
Weight
206 gr
ISBN-13
978-0-7506-1040-7 (9780750610407)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Theory and mathematics: applicable mathematics; fundamental computer science. Part 2 Technology: introduction; conventional development; formal development; software development management; AI/IKBS approaches; other approaches to software development; programming languages; the operational environment. Part 3 Principles of application: overview; process control and factory automation; database design; graphics; postscript - future developments.