Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Specification Of Distributed Multimedia Systems
Foto dell'editore
Formal Specification Of Distributed Multimedia Systems
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized. Codice articolo M1857286774Z3
Compra usato
EUR 19,19
Spedizione EUR 5,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili