Blair, G.S. and Blair, L. and Bowman, H. and Chetwynd, A.G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4 PB.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
The work reported in this book was carried out as part of the EPSRC/DTI sponsored Tempo Project at Lancaster University (in collaboration with BT labs). The aim of the Tempo Project was to investigate formal specification and associated verification techniques to support the development of distributed multimedia systems. The book describes the state of the art in distibuted multimedia computing, highlights requirements for the formal specification and verification of such systems, reviews the available formal specification notations and then, in the light of perceived limitations of the existing approaches, presents a new framework for formal specification of distributed multimedia systems. This framework uses LOTOS to describe the functional behaviour of systems and a real-time temporal logic, called QTL, to describe the non-functional properties.
|Uncontrolled keywords:||Formal specification, distributed multimedia systems, LOTOS, temporal logic|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
|Depositing User:||Mark Wheadon|
|Date Deposited:||01 Aug 2009 14:37|
|Last Modified:||24 Apr 2012 09:43|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21462 (The current URI for this page, for reference purposes)|
- Depositors only (login required):