Objects and systems. Principled design with implementations in C++ and Java (Q4337601)

This textbook introduces the relationship between the principles of object-oriented programming and software engineering. It offers a semi-formal, principled introduction to object-oriented software design and application system programming. Thus, it aims at bridging the gap between coding and design. The presented approach employs state representations for specifying the behavior of both atomic and composite objects. An emphasis is on formulating primitives from which all other desired functionality can be built. The differentiation between behavior and implementation in serial and parallel contexts is illustrated with many examples. A reusable heterogeneous container class library with full specification of each class and implementation in C++ and Java is provided. Several nontrivial examples demonstrate the adequacy and power of the ensemble methods working on top of properties such as polymorphism and inheritance. Finally, a testing methodology based on the state-transition behavior specification is presented. The presentation of the book is focused at the level of third or fourth year undergrates in computer science and engineering. It assumes a modest background in programming and acquaintance with data structures. It should be supplemented with a manual or programming-level exposition of C++.