Objects and Systems
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. Language: English
| Brand | Unbranded |
|---|---|
| Format | Paperback |
| Language | English |
| Publication Date | 2012/10/04 |
| Publisher / Label | Springer |
| Product ID | 337894223-741553544 |
| ISBN | 9781461273356 |
| €10.29 | STANDARD: | Estimated delivery date Tue 03 November 2026 ─ Fri 06 November 2026 |
Product is shipped from United Kingdom.
Alternative shipping methods can be selected at checkout.
Products are shipped by the individual Fruugo retailers, who are located across Europe and the rest of the world. The delivery times and shipping prices vary depending on the retailer's location, the destination country and the selected delivery method.
Fruugo offers two delivery options: Standard Delivery or Express Delivery. All retailers offer a standard delivery service, and some retailers also offer an express delivery service.
- Standard Delivery – Domestic Standard delivery takes approximately 2-5 business days from dispatch, while an International Standard delivery takes 5-14 business days from dispatch. Normally track and trace and proof of delivery are not available on a standard service.
- Express Delivery – Domestic Express delivery takes approximately 1-2 business days from dispatch, while an International Express delivery takes 3-7 business days from dispatch. Usually track and trace and/or proof of delivery are available on an express service.
Although Fruugo retailers endeavour to deliver within these timescales, please note that the above timescales are estimated and not guaranteed.
The delivery timescales do not include any customs clearing times beyond Fruugo's control.
Please allow additional shipping time for deliveries to exceptional locations that are hard to reach, and also during busy periods such as Christmas.
All carriers deliver during normal business working hours and may require a signature on receipt, so please ensure your order is delivered to an address where someone will be available to accept it.
We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.
Certain products purchased at Fruugo cannot be returned. They fall in the following categories:
- goods which are clearly personalised or made to your specifications
- goods which are liable to deteriorate rapidly, eg fresh fruit, fresh flowers
- sealed goods which are not suitable for return due to health protection or hygiene reasons, if opened, eg make up, underwear, pierced jewellery
- sealed audio or video recordings or computer software, if opened
- newspapers, periodicals and magazines
Please take reasonable care of the goods whilst in your care. Any goods returned must be in a resaleable condition. They must be unworn/unused with original tags attached and in original packaging. It is your responsibility to ensure that the goods are appropriately packaged to ensure they are not damaged in return transit.
Notifying us of a return
If you wish to return an order, or some of the products included in an order, please notify Fruugo customer care within 14 days of receiving the goods, including the following information:
- your name,
- order number,
- the item(s) you wish to return, and
- optionally a reason for your return: unsatisfied with item, item didn't match description, damaged item, wrong item, or some other reason.
Our customer care will send you specific instructions on how to ship the return package(s) to the retailer(s). Please do not ship the return package before you receive the instructions.
Shipping products back to retailers
Goods must be returned without undue delay and in any event not later than 14 days after notifying us of your cancellation.
If you are returning products to several retailers, you should distribute the products accordingly and send the products to those retailers who shipped them to you initially.
We strongly recommend that you use registered mail (and insure any high-value packages), since neither Fruugo nor the retailer take responsibility for shipments that are lost or damaged during return transportation.
Please ensure you retain a proof of postage receipt so in the unlikely event your parcel goes missing, you will have proof you sent it.
Refunds
You will be refunded within 14 days of the retailer receiving back the goods. We will notify you by e-mail once the products reach the retailer and are accepted for return. Where a retailer has offered to collect the goods, you will be refunded within 14 days of cancelling your contract.
Unless a product or products you wish to return arrived to you damaged or faulty, you are responsible for the return transportation costs.
Providing you are returning all the products from a specific retailer, we will refund the standard shipping costs you paid for the original delivery. If you chose to pay for a non-standard delivery, we will only refund the cost of our least expensive, standard delivery.
Damaged or faulty goods
If you receive a damaged, broken, or defective product, please notify Fruugo customer care as soon as possible. Include at least the following information:
- your name,
- order number,
- name of the damaged product(s), and
- state the nature of the damage with attached photograph
We will generally instruct you to ship the damaged product back to the retailer. As soon as it reaches the retailer, they will send you a replacement product. If the replacement can't be made, or if you wish to cancel the order, you will be refunded in full. You will also be reimbursed for reasonable returns postage costs for damaged or faulty goods once we have received your postage receipt.
If the outer packaging of your order is clearly damaged on arrival, and you are suspecting that the products are damaged as well, you can either reject the delivery or accept the goods and sign for them as damaged. In both instances, please notify Fruugo customer care as soon as possible.
Refusing delivery
If you refuse to accept delivery of all or part of your order (where the products or packaging do not appear to be damaged or defective) you will be responsible for the postage charges. Any fees and charges incurred by the retailer due to a package being refused will be deducted from your merchandise refund.