Jumpstart to Software Quality Assurance
by Vishnuvarthanan Moorthy
Publisher: Smashwords 2013
Number of pages: 177
Software Quality Assurance is a specialized activity and it contributes in building capable processes in organization. This book details the different knowledge areas and provides practical insight which is required for software quality analyst to quickly grasp and start being productive within days, and contribute to building such capable processes.
Home page url
Download or read it online for free here:
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 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 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 Antoni Niederlinski
Introductory and down-to-earth presentation of Constraint Logic Programming, an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems.