Objects and Systems : Principled Design with Implementations in C++ and Java

The author's aim in this textbook is to provide students with a clear understanding of the relationship between the principles of object-oriented programming and software engineering. Professor Zeigler takes an approach based on state representation to formal specification. Consequently, this book is unique through its - emphasis on formulating primitives from which all other functionality can be built; - integral use of a semi-formal behaviour specification language based on state transition concepts; -differentiation between behaviour and implementation; -a reusable heterogeneous container class library; -ability to show the elegance and power of ensemble methods with non-trivial examples. As a result, students studying software engineering will find this a distinctive and valuable approach to programming and systems engineering. Front Matter....Pages i-xxi Object Orientation and State Systems....Pages 1-11 Object Behavior Specification: Software Blueprints....Pages 13-25 Lists: Behavior Specification, Models and Implementations....Pages 27-36 Inheritance Hierarchies and Hierarchical Construction....Pages 37-52 Containers: An Object Behavior Specification....Pages 53-70 C++ Implementation of a Heterogeneous Container Class Library....Pages 71-99 Testing Based on Behavior Specification....Pages 101-123 Constructing Inheritance Class Hierarchies....Pages 125-137 Ensemble-Based Implementation of Containers....Pages 139-151 Ordered Containers and Their Implementation....Pages 153-167 More Useful Concepts for Containers....Pages 169-180 Design Based on Hierarchical Decomposition and Ensemble Methods....Pages 181-201 Java and Threaded Containers....Pages 203-217 Back Matter....Pages 219-221