Handbook of Software Reliability Engineering
by Michael R. Lyu
Publisher: McGraw-Hill 1996
Number of pages: 850
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. Using this guide, software developers, designers, and project managers, high-level applications programmers and designers, and students will be able to tap into an unparalleled repository of accumulated experience and expertise.
Home page url
Download or read it online for free here:
(multiple PDF files)
by C.A.R. Hoare - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
by Leslie Lamport - Addison-Wesley Professional
This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.
by Ivan Marsic - Rutgers University
This book reviews some important technologies for software development with a focus on Web applications. Emphasis is on underlying principles and basic concepts. Written for upper-division undergraduate and graduate courses in software engineering.
The problems to solve in software engineering are so complex or large, that a single developer cannot solve them anymore. This book is an introduction to the art of software engineering. It is intended as a textbook for an undergraduate level course.