Nowadays, newly developed software is often already obsolete by the time it is introduced. The object-oriented concept provides a solution to this "crisis," by allowing objects to be used in a wide range of programs. Object-oriented applications development with databases places special demands on the DBMS and the development environment. This book provides a detailed description of the object ...

Manufacturer: Springer
Written By: Wolfgang Kirsten, Michael Ihringer, Bernhard Röhrig, Peter Schulte

If you use ABAP Objects to develop object-oriented applications, you must consider how you are going to store the application data from objects in the objectless database. This process is facilitated by Object Services, and this book serves as your comprehensive guide to understanding Object Services. From basic principles to helpful enhancements, the book provides proven solution ...

Manufacturer: SAP PRESS, 1st Edition
Written By: Christian Assig, Aldo Hermann Fobbe, Arno Niemietz

By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and ...

Manufacturer: Springer
Written By: Martin Abadi, Luca Cardelli

Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area. In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic ...

Manufacturer: Springer
Written By: Shan-Hwei Nienhuys-Cheng, Ronald de Wolf

The Glasgow Functional Programming Workshops have been held annually since 1988, and provide an invaluable opportunity for the discussion of unresolved research issues, and for the presentation of current results. This volume is based on the proceedings of the 1993 workshop, which was held in Ayr, Scotland, from 5 - 7 July 1993. The papers cover the spectrum of functional programming research, ...

Manufacturer: Springer

The primary strength of Object-Oriented Design Using Java is that it has one of the best presentations of problem solving using patterns available. It has received rave reviews from instructors and has been class tested at a number of schools where the response from both professors and students has been extremely positive. This book is intended for the object-oriented ...

Manufacturer: McGraw-Hill Science/Engineering/Math
Written By: Dale Skrien

This text teaches readers object-oriented systems analysis and design in a highly practical and accessible way.

Manufacturer: Prentice Hall
Written By: Noushin Ashrafi, Hessam Ashrafi

This book focuses on metamodelling as a discipline, exploring its foundations, techniques and results. It presents a comprehensive metamodel that covers process, product and quality issues under a common framework.Issues covered include:An explanation of what metamodelling is and why it is necessary in the context of software engineering.Basic concepts and principles of ...

Manufacturer: Wiley
Written By: Cesar Gonzalez-Perez, Brian Henderson-Sellers

Combinatorial problems based on graph partitioning enable us to mathematically represent and model many practical applications. Mission planning and the routing problems occurring in logistics perfectly illustrate two such examples. Nevertheless, these problems are not based on the same partitioning pattern: generally, patterns like cycles, paths, or trees are distinguished. Moreover, the ...

Manufacturer: Wiley-ISTE
Written By: Xavier Lorca

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this ...

Manufacturer: Springer