did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9781857286779

Formal Specifications of Distributed Multimedia Systems

by ; ; ;
  • ISBN13:

    9781857286779

  • ISBN10:

    1857286774

  • Format: Paperback
  • Copyright: 1997-10-01
  • Publisher: Univ College of London Pr
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $69.95

Summary

Written in response to the lack of attention paid to software engineering techniques that support the process of prototypical development on multimedia systems, the authors of this text have provided a comprehensive investigation of the application of formal techniques to this area of systems development. Particular attention is paid to the new formal specification approach, which is directly targeted at the real- time requirements of distributed multimedia computing. Through the evaluation and introduction of this approach, the authors have produced a text for researchers, practitioners and advanced students in the field of distributed systems, telecommunications and formal methods.

Table of Contents

The nature of multimedia
Quality of service
Detailed requirements
Broad survey of FDT S
Assessment of specific FDT S
An evaluation of lotos- based specification techniques
Why a new approach?
The design of QTL
Examples of the lotos / QTL approach
Implications for validation
Specific validation approaches
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program