| Formal Specification Of Distributed Multimedia Systems
|
 |
| G. Blair, L. Blair, H. Bowman, A. Chetwynd |
|
| ISBN |
1857286774 |
| Publication
Date |
30 NOV 1997 |
| Type |
Paperback Book |
| Price |
£37.50 |
| Pages |
352 |
|
 |
|
Description:
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. |
Illustrations:
55 |
|
|