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 Noam Nisan, Shimon Schocken - MIT Press
The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques are used in practice.
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 Cliff B. Jones and Robert C. F. Shaw - Prentice Hall
This book covers the case studies on the application of the most widely known formal methods in software development, the Vienna Development Method. VDM was developed in an industrial environment but has also evoked considerable academic research.
by Ruqian Lu - Polimetrica
This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering are analyzed.