Specification and Development of Interactive Systems
1. Introduction. - 1. 1 Systems. - 1. 2 Specifications. - 1. 3 Refinement. - 1. 4 Application Domains. - 1. 5 Development Process and Methodology. - 1. 6 Rationale of Focus. - 1. 7 Overview of the Book. - 1. 8 How the Book Should Be Read. - 2. A Guided Tour. - 2. 1 Plan for the Tour. - 2. 2 Station 1: Unbounded Buffer. - 2. 3 Station 2: Unbounded Lossy Buffer. - 2. 4 Station 3: Driver. - 2. 5 Station 4: Composite Specifications. - 2. 6 Station 5: Time-Sensitive Buffer. - 2. 7 Station 6: Timed Lossy Buffer. - 2. 8 Station 7: Timed Driver. - 2. 9 Station 8: Timed Composite Specification. - 3. Basics. - 3. 1 Sets. - 3. 2 Tuples. - 3. 3 Functions. - 3. 4 Types. - 3. 5 Logic. - 4. Streams. - 4. 1 Formal Definition of Streams. - 4. 2 Basic Operators on Streams. - 4. 3 Additional Operators on Streams. - 4. 4 Formal Definition of Timed Streams. - 4. 5 Operators on Timed Streams. - 5. Specifications. - 5. 1 Classification of Specifications. - 5. 2 Elementary Specifications. - 5. 3 Composite Specifications. - 5. 4 Black-Box and Glass-Box Views. - 5. 5 Parameterized Specifications. - 5. 6 Sheafs and Replications. - 6. Examples. - 6. 1 Alternating Bit Protocol. - 6. 2 Steam Boiler. - 6. 3 Memory Components. - 7. Properties of Specifications. - 7. 1 Safety and Liveness Properties. - 7. 2 Realizability. - 7. 3 Causality for Specifications. - 8. Equational Specification of State Transitions. - 8. 1 I/O Transitions. - 8. 2 Local States. - 8. 3 Control States. - 8. 4 Oracles. - 9. Access Control System. - 9. 1 System Architecture. - 9. 2 Functional Properties of the Controllers. - 9. 3 Introducing Exception Handling. - 9. 4 Imposing Timing Constraints. - 10. Tables and Diagrams. - 10. 1 State Transition Tables. - 10. 2 State Transition Diagrams. - 10. 3 Semantics of State Transition Tables and Diagrams. - 11. Abracadabra Protocol. - 11. 1 Informal Specification. - 11. 2 Formalization. - 12. A/G Specifications. - 12. 1 Simple Examples. - 12. 2 Semantics. - 12. 3 More Examples. - 13. Memory with Locking. - 13. 1 Black-Box Description. - 13. 2 Distributed Implementation. - 14. Refinement. - 14. 1 Behavioral Refinement. - 14. 2 Interface Refinement. - 14. 3 Conditional Refinement. - 14. 4 Verification. - 14. 5 Glass-Box Refinement. - 14. 6 Development Method. - 15. Behavioral Refinement. - 15. 1 Definition. - 15. 2 Simple Examples. - 15. 3 Logical Properties. - 15. 4 More Examples. - 15. 5 Synchronizing the Communication. - 16. Interface Refinement. - 16. 1 Definition. - 16. 2 A Priming Convention for Channel Identifiers. - 16. 3 Simple Examples. - 16. 4 Methodological Issues. - 16. 5 Logical Properties. - 16. 6 More Examples. - 16. 7 Generalizing Interface Refinement. - 17. Conditional Refinement. - 17. 1 Definition. - 17. 2 Simple Examples. - 17. 3 Logical Properties. - 17. 4 More Examples. - 18. Final Remarks. - 18. 1 How Our Approach Generalizes. - 18. 2 What We Did Not Cover. - A. Operators for Stream Tuples. - A. l Generalized Operators. - A. 2 Tuple Filtering Operator. - A. 3 Timed Filtering Operator. - B. Glossary of Terms. - B. l Sets. - B. 2 Tuples. - B. 3 Functions. - B. 4 Types. - B. 5 Logic. - B. 6 Arithmetics. - B. 7 Streams. - B. 8 Tuples of Streams. - B. 9 Specifications. - B. 10 Strategies. Language: English
| Brand | Unbranded |
|---|---|
| Format | Paperback |
| Language | English |
| Publication Date | 2012/10/17 |
| Publisher / Label | Springer |
| Product ID | 337914958-741574411 |
| ISBN | 9781461265184 |
| €8.99 | STANDARD: | Estimated delivery date Mon 29 June 2026 ─ Thu 02 July 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.