TY  - GEN
T1  - Information technology - Open Document Architecture (ODA) and interchange format :Part 10 : formal specifications /
ET  - Second edition.
N1  - Supplier : ISO/IEC Copyright Office, Geneva; Recd 13/10/95; Contents : 1. Scope; 2. Normative references; 3. Definitions; 4. Syntax and semantics of the speficiation language; 5. Structure of the formal specifications; 6. Commonly used definitions; 7. Formal specification of the document structures; 8. Formal specification of the document profile; 9. Formal specification of the character content architectures; 10. Formal specification of the raster graphics content architectures; 11. Formal specification of the geometric graphics content architectures; 12. Formal specification of the defaulting mechanism for defaultable attributes; 13. Index of predicate symbols, operator symbols and attribute names; Annex A. Tutorial on the specification language;.
ID  - 20816
KW  - Copyright.
KW  - INFORMATION SCIENCE (DOCUMENTATION) : AUTOMATED INFORMATION PROCESSING TOOLS : GENERAL STUDIES
KW  - ISO/IEC : INFORMATION TECHNOLOGY : INTERNATIONAL STANDARD
TI  - Information technology - Open Document Architecture (ODA) and interchange format :Part 10 : formal specifications /
ER  -