Open AccessThe Formal Specification of the ISO Open Document Architecture (ODA) standard
Author(s) -
Wolfgang Appelt
Publication year - 1993
Publication title -
the computer journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.319
H-Index - 64
eISSN - 1460-2067
pISSN - 0010-4620
DOI - 10.1093/comjnl/36.3.269
Subject(s) - standardization , computer science , context (archaeology) , software engineering , architecture , formal specification , programming language , formal methods , world wide web , operating system , geography , archaeology
This paper presents a survey on an application of a formal description technique called IMC and language called IMCL in the context of international standardization project on document structure and processing and gives a brief tutorial on the use of IMCL
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom