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 Benjamin C. Pierce - University of Pennsylvania
These are notes for a course on software foundations, suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems.
by Michael R. Lyu - John Wiley & Sons Ltd.
Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms and error recovery. This book also focuses on identification, application, formulation and evaluation of current software tolerance techniques.
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 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.