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 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 Damith C. Rajapakse
A collection of practical tips gathered from the authors' software engineering experience and from many books on the topic. It does not intend to cover software engineering theory. The book is meant for software engineering project courses.
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.
by A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.