Skip to Main content Skip to Navigation
Reports

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

Olivier Festor 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00069979
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:44:56 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Sunday, April 4, 2010 - 8:06:32 PM

Identifiers

  • HAL Id : inria-00069979, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

175

Files downloads

190