Object-Oriented Technology


Book

Alagic, Suad

  • EUR 53,49
  • Derzeit keine gebrauchten Angebote.


Verlag
Springer International Publishing , August 2015
Auflage
1st ed. 2015
Einband
Gebunden
Format
224 S. - Sprache: eng - 247x164x19 mm
Stichworte
Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Assertions; concurrent models; object databases; object-oriented languages; persistent objects; query languages; specification and verification; transactions; type systems; virtual platform
EAN(s)
9783319204413
3319204416
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.
Suad Alagic holds a PhD in Computer Science from the University of Massachusetts at Amherst. He has been a Computer Science Professor at multiple universities for many years. His research areas are Object-Oriented Systems, Database Systems, and Programming Languages and Systems. Suad Alagic previously published three books with Springer. His first book on assertions
Covers specialized topics including assertions, specification and verification, virtual platform, persistent objects, object databases, query languages and transactionsReinforces core principles with numerous examples, figures

1 Angebot(e)

für diesen Artikel
EUR 53,49

versandkostenfrei

MARZIES.de Buch- und Medienhandel

Leider keine aktuellen Angebote für das gewählte Liefergebiet vorhanden.

Produkte, die Ihnen auch gefallen könnten