Information processing – Text and office systems – Office Document Architecture (ODA) and interchange format, Part 10: Formal specifications

Published by	Publication Date	Number of Pages
AS/NZS	01/01/1994	346

Category: AS-NZS

Description

AS/NZS 3951.10 – Information processing – Text and office systems – Office Document Architecture (ODA) and interchange format, Part 10: Formal specifications

Specifies a formal description technique appropriate for describing the technical specifications of the document structures, the document profile and the content architectures and the resulting formal specifications. This Standard is identical with, and has been reproduced from ISO/IEC 8613-10:1991; amendment 1:1991, Formal specification of the document profile; amendment 2:1991, Formal specification of the Raster Graphics content architectures; amendment 3:1992, Formal specification of the character content architectures; amendment 4:1992, Formal specification of the geometric graphics content architectures; and Amendment 5:1993, Formal specification of the defaulting mechanism for defaultable attributes.