This book presents a unified collection of concepts, tools, and techniques that constitute the most important technology available today for the design and implementation of information systems. The framework adopted for this integration goal is the one offered by the relational model of data, its applica tions, and implementations in multiuser and distributed environments. The topics presented in the book include conceptual modeling of application environments using the relational model, formal properties of that model, and tools such as relational languages which go with it, techniques for...
This book presents a unified collection of concepts, tools, and techniques that constitute the most important technology available today for the desig...
The major topic of this book is the integration of data and programming languages and the associated methodologies. To my knowledge, this is the first book on modern programming languages and programming meth odology devoted entirely to database application environments. At the same time, it is written with the goal of reconciling the relational and object-oriented approaches to database management. One of the reasons that influenced my decision to write this book is my dissatisfaction with the fact that the existing books on programming methodology and the associated concepts, techniques,...
The major topic of this book is the integration of data and programming languages and the associated methodologies. To my knowledge, this is the first...
The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms....
The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims...
The core idea of this book is that object- oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.
The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their...
The core idea of this book is that object- oriented technology is a generic technology whose various technical aspects can be presented in a unifie...
Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.
Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more a...
