MODE-PP TeX: A GRM/GDMO Pretty Printing Library based on MODE-FE for the Generation of TeX Documents : Release 1.0 Reference Manual - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Technical Report) Year : 1996

MODE-PP TeX: A GRM/GDMO Pretty Printing Library based on MODE-FE for the Generation of TeX Documents : Release 1.0 Reference Manual

Abstract

MODE-PP TeX (MODE TeX Pretty-Printer) is a module which allows formatting and pretty printing of GRM (General Relationship Model) and GDMO (Guidelines for the Definition of Managed Objects) specifications. The tool allows the generation of one or more TeX files which contain formatted specifications according to different document style constrains. MODE-PP TeX is part of the MODE (Managed Object Development Environment) prototype which is developed for integrating the use of Formal Description Techniques in an environment for building Management applications. MODE-PP TeX is built on top of MODE-FE and is provided as a library. This document is the reference manual for release 1.0 of the MODE-PP TeX library and its API.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RT-0192.pdf (283.59 Ko) Télécharger le fichier

Dates and versions

inria-00069979 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00069979 , version 1

Cite

Olivier Festor. MODE-PP TeX: A GRM/GDMO Pretty Printing Library based on MODE-FE for the Generation of TeX Documents : Release 1.0 Reference Manual. [Technical Report] RT-0192, INRIA. 1996, pp.17. ⟨inria-00069979⟩
83 View
135 Download

Share

Gmail Facebook Twitter LinkedIn More