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.
"synopsis" may belong to another edition of this title.
Suad Alagić 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 Alagić previously published three books with Springer. His first book on assertions was translated into Japanese, Russian and Polish. Suad Alagić is the lead author of numerous papers, object-oriented in particular, that were published in the proceedings of highly visible conferences and in prestigious journals. He has had research grants from NSF and DOD and was an invited staff member of ODMG. Suad Alagić held visiting research positions at Microsoft Research and University of Tokyo. His extensive teaching experience includes a variety of object-oriented courses.
"About this title" may belong to another edition of this title.
Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-68426
Book Description Springer International Publishing AG, 2015. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9783319204413
Book Description Book Condition: New. pp. 195. Bookseller Inventory # 373533257
Book Description Book Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Bookseller Inventory # AUSBNEW-68426
Book Description Springer International Publishing 2015-08-22, Berlin, 2015. hardback. Book Condition: New. Bookseller Inventory # 9783319204413
Book Description Springer, 2017. Hardcover. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # 3319204416
Book Description Springer, 2015. Hardcover. Book Condition: Brand New. 9.75x6.75x0.75 inches. In Stock. Bookseller Inventory # __3319204416
Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783319204413_lsuk
Book Description Springer International Publishing AG, 2015. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9783319204413
Book Description Springer International Publishing AG, 2015. Book Condition: New. Bookseller Inventory # L9783319204413