PREMO ‐ An Initial Approach to a Formal Definition

• DOI: 10.1111/1467-8659.1330393
• Publication Date: 2003-03-11T11:32:45Z
• Authors: D.A. DUCE; D.J. DUKE; P.J.W. ten HAGEN; G.J. REYNOLDS
• Keywords: Presentation (obstetrics); Formal description

Abstract Many descriptions of multimedia programming systems are starting to appear in the literature, but little work has yet been done on how formally specify and reason about such systems. This paper is a contribution use formal description techniques for specification explores style which Object‐Z notation from University Queensland can be used some properties functionality The carried out with reference role presentation ISO/IEC International Standards particular P remo project JTCl/SC24.