THE FORMAL SPECIFICATION OF THE ISO OPEN DOCUMENT ARCHITECTURE (ODA) STANDARD

Citation
W. Appelt et N. Tettehlartey, THE FORMAL SPECIFICATION OF THE ISO OPEN DOCUMENT ARCHITECTURE (ODA) STANDARD, Computer journal, 36(3), 1993, pp. 269-279
Citations number
8
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics
Journal title
ISSN journal
00104620
Volume
36
Issue
3
Year of publication
1993
Pages
269 - 279
Database
ISI
SICI code
0010-4620(1993)36:3<269:TFSOTI>2.0.ZU;2-N
Abstract
This paper presents a survey on an application of a formal description technique called IMC and language called IMCL in the context of an In ternational Standardization project on Document Structure and Processi ng and gives a brief tutorial on the use of IMCL.