An introduction to formal specification and Z
An introduction to formal specification and Z
3-D sound for virtual reality and multimedia
3-D sound for virtual reality and multimedia
Formal methods in the development of PREMO
Computer Standards & Interfaces - Special issue on formal description techniques
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Hi-index | 0.00 |
For pt.I see ibid., p.83-9, Fall, 1996. The article gives an overview of the Premo (Presentation Environment for Multimedia Objects) standard. The first part presented the motivation behind Premo's development and gave a general overview of the standard's technical content. The interested reader may also refer to the Premo document itself, as well as the various ISO documents and other publications. A World Wide Web site is presented which provides a good starting point to navigate through and access all available documents