
Formal Specification Of Distributed Multimedia Systems
Routledge (Publisher)
1st Edition
Published on 30. November 1997
Book
Paperback/Softback
352 pages
978-1-85728-677-9 (ISBN)
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.
More details
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
Professional and scholarly
Dimensions
Height: 235 mm
Width: 156 mm
Weight
454 gr
ISBN-13
978-1-85728-677-9 (9781857286779)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Previous edition
Book
10/1997
1st Edition
Routledge
€76.94
Article exhausted; check for reprint
Persons
Author
University of Lancaster, Lancaster, UK
University of Lancaster, UK
University of Kent at Canterbury, England, UK
University of Lancaster, England, UK
Content
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.