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.
This document is no more available for free.
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 Johannes Sametinger - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.
by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp - IEEE
The purpose of this guide is to provide a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline.
by Vishnuvarthanan Moorthy - Smashwords
Software Quality Assurance contributes in building capable processes in organization. This book provides practical insight for software quality analyst to start being productive within days, and contribute to building such capable processes.