Alagic S. Object-Oriented Technology

Springer, 2015. — 222 p. — ISBN: 9783319204413The core idea of this book is that object-oriented technology is a generic technology whose various technical aspects could be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology.
The approach in the book is based on typed technologies. The core notions fit mainstream object-oriented languages such as Java and C#. However, perhaps the most distinctive feature of this book is that it is based on object-oriented con- straints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specifica- tion of the object-oriented virtual platform, more advanced concurrent models, database integrity constraints, and object-oriented transactions, their specification and verification.