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 Accéder directement au contenu
Rapport (Rapport Technique) Année : 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

Résumé

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.

Mots clés

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00069979 , version 1

Citer

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⟩
85 Consultations
142 Téléchargements

Partager

Gmail Facebook X LinkedIn More