The Grand Unified Theory of Software Engineering
by Mathias Ekstedt
Publisher: Industrial Info Systems 2005
Number of pages: 235
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
Home page url
Download or read it online for free here:
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 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 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 Linda Landis, et al.
Guidelines for an organized approach to software development, based on studies conducted by the Software Engineering Laboratory, an organization sponsored by the NASA/GSFC. It describes methods for each phase of a software development life cycle.