Formal specification of distributed multimedia systems
著者
書誌事項
Formal specification of distributed multimedia systems
UCL Press, 1998
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 299-313
Includes index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より