Object-Oriented Technology

✍ Scribed by Suad Alagić (auth.)

Publisher: Springer International Publishing
Year: 2015
Tongue: English
Leaves: 222
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 specification and verification. 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.

✦ Table of Contents

Front Matter....Pages i-xiv
Typed Objects....Pages 1-23
Assertions....Pages 25-48
Virtual Platform....Pages 49-79
Type Systems....Pages 81-104
Concurrent Models....Pages 105-132
Object Databases....Pages 133-164
Types and Constraints....Pages 165-202
Back Matter....Pages 203-209

✦ Subjects

Programming Languages, Compilers, Interpreters; Programming Techniques

📜 SIMILAR VOLUMES

Object Oriented Technologies: Opportunit

📁 Object Oriented Technologies: Opportunities and Challenges

✍ Richard G. Gibson 📂 Library 📅 1999 🏛 IGI Global 🌐 English

The continual evolution of object oriented technologies creates both opportunities and challenges. However, despite the growing popularity of object oriented technology, there are numerous issues that have contributed to its inability to firmly entrench itself and take over from the older, prove

Object-oriented programming with ABAP Ob

📁 Object-oriented programming with ABAP Objects

✍ James Wood 📂 Library 📅 2009 🏛 Galileo Press 🌐 English

If you re an ABAP application developer with basic ABAP programming skills, this book will teach you how to think about writing ABAP software from an object-oriented (OO) point of view, and prepare you to work with many of the exciting ABAP-based technologies in ABAP Objects (release 7.0). Using th

Object-Oriented Technology: ECOOP'99 Wor

📁 Object-Oriented Technology: ECOOP'99 Workshop Reader

✍ Ana Moreira (editor), Serge Demeyer (editor) 📂 Library 📅 1999 🏛 Springer 🌐 English

<span>The 13th European Conference on Object-Oriented Programming (ECOOP'99) brought some 500 participants to Lisbon from June 14th to June 18th, 1999. As usual, the workshops took place during the rst two days of the conference and gave authors and participants an opportunity to present and discuss

Object-Oriented Technology and Computing

📁 Object-Oriented Technology and Computing Systems Re-Engineering

✍ H.S.M. Zedan, Antonio Cau 📂 Library 📅 1999 🏛 Woodhead Publishing 🌐 English

<DIV>This book delivers the latest developments in object technology and their impact in computing systems re-engineering. Object-Oriented programming is here shown to pro support for constructing large scale systems, cheaply built and with reusable components, adaptable to changing requirements, ef

Technology of Object-Oriented Languages,

📁 Technology of Object-Oriented Languages, Systems and Architectures

✍ Lorenzo Bettini, Michele Loreti, Betti Venneri (auth.), Theo D’Hondt (eds.) 📂 Library 📅 2003 🏛 Springer US 🌐 English

<P>The TOOLS EE (Technology of Object-Oriented Languages and Systems Eastern Europe) conference series combines the experience with object technology and its applications in industrial environments, with an academically-oriented vision. They offer a meeting place for Eastern European experts and pra

Object-Oriented Technology and Computing

📁 Object-Oriented Technology and Computing Systems Re-Engineering

✍ H.S.M. Zedan, Antonio Cau 📂 Library 📅 1999 🏛 Woodhead Publishing 🌐 English