Object-Oriented Software Construction by Bertrand Meyer

Book Title Object-Oriented Software Construction
Citation Meyer (2000)
Author Bertrand Meyer
Edition 2nd Edition
ISBN-13 978-0136291558
Publisher Prentice Hall
URL Amazon Google
Download Click Here
Course CS709 - Formal Methods For Software Engineering
Instructor Dr. Fakhar Lodhi

This is, quite simply, the definitive reference on the most important development in software technology for the last 20 years: object-orientation. A whole generation was introduced to object technology through the first edition of this book. This long-awaited new edition retains the qualities of clarity, practicality and scholarship that made the first an instant best-seller, but has been thoroughly revised and expanded. Among the new topics covered in depth are: Concurrency, distribution, client/server and the Internet; object-oriented databases; design by contract; fundamental design patterns; finding classes; the use and misuse of inheritance; abstract data types; and typing issues. The book also includes completely updated discussions of reusability, modularity, software quality, object-oriented languages, memory management, and many other essential topics. All software developers and computer science students, worldwide.

Related Books:
Design by contract by example
by Richard Mitchell and Jim McKim
Using Z: Specification, Refinement, and Proof
by Jim Woodcock & Jim Davies
Program Construction and Verification
by Roland C. Backhouse
Program Construction: Calculating Implementation
by Roland Backhouse
Software Engineering
by Ian Sommerville
The Object Constraint Language, precise modeling with UML by Jos Warmer and Anneke Kleppe The Specification of Complex Systems
by B. Cohen, W. T. Harwood and M. I. Jackson