Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Database and Mobile Computing brings together in one place important contributions and up-to-date research results in this important area. Databases and Mobile Computing serves as an excellent reference, providing insight into some of the most important research issues in the field.

Computer science. --- Data structures (Computer science). --- Computer Science. --- Data Structures, Cryptology and Information Theory. --- Computer Science, general. --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Mobile computing. --- Distributed databases.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Replication Techniques in Distributed Systems organizes and surveys the spectrum of replication protocols and systems that achieve high availability by replicating entities in failure-prone distributed computing environments. The entities discussed in this book vary from passive untyped data objects, to typed and complex objects, to processes and messages. Replication Techniques in Distributed Systems contains definitions and introductory material suitable for a beginner, theoretical foundations and algorithms, an annotated bibliography of commercial and experimental prototype systems, as well as short guides to recommended further readings in specialized subtopics. This book can be used as recommended or required reading in graduate courses in academia, as well as a handbook for designers and implementors of systems that must deal with replication issues in distributed systems.

Electronic data processing --- Data recovery (Computer science) --- Distributed processing. --- Data structures (Computer scienc. --- Computer science. --- Computer Communication Networks. --- Operating systems (Computers). --- Data Structures and Information Theory. --- Processor Architectures. --- Operating Systems. --- Data structures (Computer science). --- Microprocessors. --- Computer communication systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Data structures (Computer science) --- Computer algorithms --- Object-oriented programming (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

C (Computer program language) --- C++ (Computer program language) --- Data structures (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis. Specifications must bridge any gaps in understanding about business rules among customers, Subject Matter Experts, and `computer people', must inform decisions about reuse of software and systems, and must enable review of semantics over time. Specifications need to describe semantics rather than syntax, and to do that in an abstract and precise manner, in order to create software systems that satisfy business rules. The papers in this book show various ways of designing elegant and clear specifications which are reusable, lead to savings of intellectual effort, time, and money, and which contribute to the reliability of software and systems. Object-Oriented Behavioral Specifications offers a fresh treatment of the object-oriented paradigm by examining the limitations of traditional OO methodologies and by describing the significance of competing trends in OO modeling. The book builds on four years of successful OOPSLA workshops (1991-1995) on behavior semantics. This book deals with precise specifications of `what' is accomplished by the business and `what' is to be done by a system. The book includes descriptions of successful use of abstract and precise specification in industry. It draws on the experience of experts from industrial and academic settings and benefits from international participation. Collective behavior, neglected in some treatment of the OO paradigm, is addressed explicitly in this book. The book does not take `reuse' of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

Object-oriented methods (Computer science) --- Object-oriented programming (Computer science) --- Software engineering. --- Computer science. --- Data structures (Computer scienc. --- Information technology. --- Software Engineering/Programming and Operating Systems. --- Computer Science, general. --- Data Structures and Information Theory. --- IT in Business. --- Programming Languages, Compilers, Interpreters. --- Data structures (Computer science). --- Business—Data processing. --- Programming languages (Electronic computers).