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.
Author(s): Bernard P. Zeigler (auth.)
Series: Undergraduate Texts in Computer Science
Edition: 1
Publisher: Springer-Verlag New York
Year: 1997
Language: English
Pages: 221
Tags: Software Engineering/Programming and Operating Systems
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
