Formal Specification Of Distributed Multimedia Systems - Brossura

Blair, G.; Blair, L.; Bowman, H.; Chetwynd, A.

Brossura

ISBN 10: 1857286774 ISBN 13: 9781857286779

Casa editrice: CRC Press, 1997

Riassunto

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.

Su questo libro

Contenuti

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.

Product Description

Book by Gordon Blair et al

Dettagli dell?edizione

• Editore: CRC Press
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 1857286774
• ISBN 13: 9781857286779
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 352
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile