Software Engineering and Computer Systems

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show h

This book is an ideal reference for software engineers, developers, and researchers. It explores game programming and development from a software engineering perspective, presenting a collection of em

Computing Handbook, Third Edition: Computer Science and Software Engineering mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing Mach

With the growth of public and private data stores and the emergence of off-the-shelf data-mining technology, recommendation systems have emerged that specifically address the unique challenges of navi

There are many books on computers, networks, and software engineering but none that integrate the three with applications. Integration is important because, increasingly, software dominates the perfor

Systems and software engineers and information scientists respond to the perceived need to expand methodology approaches in these disciplines by discussing the matter in general terms rather than from

Solid requirements engineering has become increasingly essential to on-time and on-budget delivery of software and systems projects. As more engineering programs make it a mandatory part of their curr

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so

A benchmark text on software development and quantitative software engineering "We all trust software. All too frequently, this trust is misplaced. Larry Bernstein has created and applied qua

Computer Architecture/Software Engineering

This introductory book discusses how to plan and build useful, reliable, maintainable and cost efficient computer systems for automated engineering design. The book takes a user perspective and seeks

For courses in computer science and software engineeringThe Fundamental Practice of Software Engineering Software Engineering introduces readers to the overwhelmingly important subject of software pro

This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designi

This textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters: The first chap

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering includes the proceedings of the International Joint Conferences on Computer, Information, and Systems Sciences, and

Data structure and software engineering is an integral part of computer science, which, as a whole, is the study of the theoretical foundations of information and computation and of practical techniqu

This reference provides an overview of current research being conducted on the dependability of software-intensive systems, and addresses the most pressing challenges to ensuring that dependability. S

This book aims at establishing a meaningful dialog between the Human-Computer Interaction (HCI) community and Software Engineering (SE) practitioners and researchers on the results (both good and bad

This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems

Intended for students in IT, MIS, Software Engineering, and IS Management, this book is designed to enhance student understanding of hardware system architecture. The book is not about the digital cir

The Architecture of Computer Hardware and System Software provides the right amount of technical detail needed to succeed in the field. This accessible introduction provides the basic principles of co

Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential.Designing, En

Before software engineering builds and installations can be implemented into software and/or systems integrations in military and aerospace programs, a comprehensive understanding of the software deve

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

Information systems (IS) are the backbone of any organization today, supporting all major business processes. This book deals with the question: how do these systems come into existence? It gives a co

This work addresses the complex issues associated with software engineering environment capabilities for designing and maintaining real-time embedded software systems. It provides theoretical foundati

Bioengineering is a broad-based engineering discipline that applies engineering principles and design to challenges in human health and medicine, dealing with bio-molecular and molecular processes, pr

Dorf (electrical and computer engineering, University of California-Davis) provides a reference to subjects in the fields of digital logic devices, displays, testing, software, and computers, covering

Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering. Algorithms for performing operations like addition, subtraction, multipli