Welcome to E-Books Directory
This page lists freely downloadable books.
E-Books for free online viewing and/or download
e-books in this category
Software Fault Tolerance
by Michael R. Lyu - John Wiley & Sons Ltd. , 1995
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.
Software Product Line: Advanced Topic
by Abdelrahman Osman Elfaki - InTech , 2012
The Software Product Line (SPL) is an emerging methodology for developing software products. There are two hot issues in the SPL: modelling and the analysis of the SPL. Variability modelling techniques have been developed to assist engineers ...
Handbook of Software Reliability Engineering
by Michael R. Lyu - McGraw-Hill , 1996
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.
The Elements of Computing Systems
by Noam Nisan, Shimon Schocken - MIT Press , 2005
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.
A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
by Antoni Niederlinski , 2011
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.
by A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman - FTA , 2011
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.
Knowware: the third star after Hardware and Software
by Ruqian Lu - Polimetrica , 2007
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.
Acceptance Test Engineering Guide
by Grigori Melnik, Gerard Meszaros, Jon Bach - Microsoft , 2009
The Guide will provide guidance for technology stakeholders (developers, development leads, testers, test leads, architects, etc.) and business stakeholders (managers, customers, end users, etc) on the discipline of acceptance testing.
SOA Source Book
- Van Haren Publishing , 2009
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
The Grand Unified Theory of Software Engineering
by Mathias Ekstedt - Industrial Info Systems , 2005
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.
by Benjamin C. Pierce - University of Pennsylvania , 2010
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 Leslie Lamport - Addison-Wesley Professional , 2002
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.
Introduction to Reverse Engineering Software
by Mike Perry, Nasko Oskov - UIUC
An introduction to reverse engineering software under both Linux and Windows. The author uses the Scientific Method to deduce specific behavior and to target, analyze, extract and modify specific operations of a program for interoperability purposes.
Advances in Human Computer Interaction
by Shane Pinder - InTech , 2008
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
Practical Tips for Software-Intensive Student Projects
by Damith C. Rajapakse , 2008
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.
Software Engineering with Reusable Components
by Johannes Sametinger - Springer , 2001
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.
by Ivan Marsic - Rutgers University , 2008
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.
The New Software Engineering
by Sue Conger - Global Text Project , 2008
The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.
Recommended Approach to Software Development
by Linda Landis, et al. , 1992
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.
Function Points Analysis Training Course
by David Longstreet - SoftwareMetrics.Com , 2008
The book introduces the basic concepts of function point analysis and unit cost estimating, describes and defines the concepts necessary to establish a boundary between applications, identifies and rates external inputs and external outputs, etc.
Case Studies in Systematic Software Development
by Cliff B. Jones and Robert C. F. Shaw - Prentice Hall , 1990
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.
Software Engineering for Internet Applications
by Eve Andersson, Philip Greenspun, Andrew Grumet - The MIT Press , 2006
After completing this course on server-based Internet applications software, students who start with only the knowledge of how to write and debug a computer program will have learned how to build web-based applications on the scale of Amazon.com.
Communicating Sequential Processes
by C.A.R. Hoare - Prentice Hall , 2004
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.
The Guide to the Software Engineering Body of Knowledge
by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp - IEEE , 2004
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.