Objects and Systems

Principled Design with Implementations in C++ and Java

AvBernard P. Zeigler

Häftad, Engelska, 2012

Del i serien Undergraduate Texts in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

572 kr

E-bok

739 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2012-10-04
Mått:178 x 254 x 14 mm
Vikt:474 g
Format:Häftad
Språk:Engelska
Serie:Undergraduate Texts in Computer Science
Antal sidor:221
Förlag:Springer-Verlag New York Inc.
ISBN:9781461273356

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

1. Object Orientation and State Systems.- 1.1 Finite State Machine Example: Binary Counter.- 1.2 Problems with Nonobject-Oriented Programming.- 1.3 Benefits of Object Orientation: Binary Counter C++ Implementation.- 1.4 Access Restrictions in C++.- 1.5 Instance Generation, Information Hiding, and Restricted Access in OOPS.- Problems.- 2. Object Behavior Specification: Software Blueprints.- 2.1 Object Behavior Specification.- 2.2 Simulating an Object Behavior Specification.- 2.3 Definition of Behavior.- Problems.- 3. Lists: Behavior Specification, Models and Implementations.- 3.1 Domain Restrictions and Legal Sequences.- 3.2 An Abstract Model for the List Specification.- 3.3 Implementations and Models of Lists.- 3.4 Parallel Implementations of Lists.- 3.5 Proving and Testing Correctness.- Problems.- 4. Inheritance Hierarchies and Hierarchical Construction.- 4.1 Specifying and Implementing an and-gate.- 4.2 General Switching Functions.- 4.3 Inheritance and Derived Classes in C++.- 4.4 Using Inheritance for Alternative Implementations.- 4.5 Hierarchical Construction.- 4.6 Summary.- Problems.- 5. Containers: An Object Behavior Specification.- 5.1 Class entity.- 5.2 Container Base Class.- 5.3 Ensemble Methods.- 5.4 Container Subclasses: Unordered.- Problems.- 6. C++ Implementation of a Heterogeneous Container Class Library.- 6.1 HCCL Implementation Strategy.- 6.2 Ensemble Methods in C++.- 6.3 A Macro Approach to Ensemble Methods.- Appendix 1: Ensemble Method Macros.- Appendix 2: C++ Typing Rules That Arise From Inheritance.- Problems.- 7. Testing Based on Behavior Specification.- 7.1 The Look-and-See Method.- 7.2 Testing Rudiments.- 7.3 Blueprint-Based Testing.- 7.4 Constructing Behavior Samples.- 7.5 Testing Constructors for Correct Initialization.- 7.6 State Transition-based Testing.- 7.7 Transition-Based Test Methodology.- 7.8 Transition-Based Testing: More Considerations.- 7.9 Combining the Approaches.- Problems.- 8. Constructing Inheritance Class Hierarchies.- 8.1 How to Construct Inheritance Hierarchies.- 8.2 Class Hierarchy Example: Investments.- 8.3 Portfolio Selection and Rating Specification.- 8.4 Implementing the Investment System.- 8.5 Polymorphism and Dynamic Binding.- 8.6 Extensibility.- Problems.- 9. Ensemble-Based Implementation of Containers.- 9.1 More Ensemble Methods.- 9.2 Implementing Container Classes by Ensemble Methods.- 9.3 Lessons Learned.- Problems.- 10. Ordered Containers and Their Implementation.- 10.1 Class Order.- 10.2 Stacks and Queues.- 10.3 List as a Subclass of Order.- Problems.- Appendix: Specifying list as a Subclass of order.- 11. More Useful Concepts for Containers.- 11.1 Logic Ensemble Methods.- 11.2 Container Equality.- 11.3 Inclusion, Union, Intersection, and Difference.- 11.4 Conversion.- 11.5 Container Comparison.- Problems.- Appendix: Specifying and Implementing Set Theory Operations.- 12. Design Based on Hierarchical Decomposition and Ensemble Methods.- 12.1 Trees as Hierarchical Containers.- 12.2 Tree Computations with Ensemble Methods.- 12.3 A Class of Graphics Puzzles.- 12.4 General Approach to 00 Software Development.- 12.5 Alarming a Building.- 12.6 Summary.- Problems.- Appendix: Specifying a Graphics Puzzle.- 13. Java and Threaded Containers.- 13.1 Basic Java.- 13.2 Distinctive Java Features.- 13.3 Ensemble Methods in Java.- 13.4 General Approach to Ensemble Methods in Java.- 13.5 Synchronization.- 13.6 Hierarchical Graphics Construction in Java.- 13.6 Summary.- Problems.

Mer från samma författare

Modeling and Simulation-Based Data Engineering

Phillip E Hammonds, Bernard P. Zeigler

E-bok

2007

1 005 kr

Theory of Modeling and Simulation

Bernard P. Zeigler, Alexandre Muzy, Ernesto Kofman

Häftad, 2018

1 267 kr

Theory of Modeling and Simulation

Ernesto Kofman, Alexandre Muzy, Bernard P. Zeigler

E-bok

2018

1 363 kr

Model Engineering for Simulation

Lin Zhang, Bernard P. Zeigler, Yuanjun LaiLi

Häftad, 2019

1 276 kr

Model Engineering for Simulation

Yuanjun LaiLi, Bernard P. Zeigler, Lin Zhang

E-bok

2019

1 349 kr

Discrete Event Modeling and Simulation Technologies

Hessam S. Sarjoughian, Bernard P. Zeigler, Hessam S. Sarjoughian, Francois E. Cellier

Inbunden, 2001

572 kr

Object-Oriented Simulation with Hierarchical, Modular Models

Bernard P. Zeigler

E-bok

2014

783 kr

Value-based Learning Healthcare Systems

Bernard P. Zeigler, Mamadou K. Traore, Grégory Zacharewicz, Raphaël Duboz

Inbunden, 2019

1 887 kr

Body of Knowledge for Modeling and Simulation

Tuncer Ören, Bernard P. Zeigler, Andreas Tolk

Inbunden, 2023

1 430 kr

Body of Knowledge for Modeling and Simulation

Andreas Tolk, Bernard P. Zeigler, Tuncer Oren

E-bok

2023

1 427 kr

Mer från samma serie

C Programming: The Essentials for Engineers and Scientists

David R. Brooks

Inbunden, 1999

1 137 kr

Migrating from Pascal to C++

Susan N. Merritt, Allen Stix

Inbunden, 1996

572 kr

Data Structures and Algorithms

John Beidler

Inbunden, 1996

572 kr

Exploring Computer Science with Scheme

Oliver Grillmeyer

Inbunden, 1997

1 046 kr

Automata and Computability

Dexter C. Kozen

Inbunden, 1997

885 kr

C Programming: The Essentials for Engineers and Scientists

David R. Brooks

Häftad, 2012

740 kr

Data Structure Programming

Joseph Bergin

Häftad, 2012

571 kr

Programming and Meta-Programming in Scheme

Jon Pearce

Häftad, 2012

571 kr

Automata and Computability

Dexter C. Kozen

Häftad, 2012

650 kr

Data Structures and Algorithms

John Beidler

Häftad, 2012

571 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr